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