sig val compile : string -> string option -> unit end