1(*****************************************************************************) 2(* Executing the Sugar2 semantics *) 3(*****************************************************************************) 4 5signature ExecuteTools = sig end 6