(*****************************************************************************)
(* Executing the Sugar2 semantics                                            *)
(*****************************************************************************)

signature ExecuteTools = sig end