sig   val of_string : string Language.t -> bool Language.t   val to_string : bool Language.t -> string Language.t end