sig val unit : string -> unit EDSL.t end