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