sig
  val expr0_of_string :
    string Env.t -> string Cond.t -> string -> string Expr0.t
  val expr1_of_string :
    string Env.t -> string Cond.t -> string -> string Expr1.t
  val listexpr1_of_lstring :
    string Env.t -> string Cond.t -> string list -> string Expr1.List.t
  val listexpr2_of_lstring :
    ?normalize:bool ->
    ?reduce:bool ->
    ?careset:bool ->
    string Env.t -> string Cond.t -> string list -> string Expr2.List.t
  val boolexpr2_of_string :
    ?normalize:bool ->
    ?reduce:bool ->
    ?careset:bool ->
    string Env.t -> string Cond.t -> string -> string Expr2.Bool.t
  val expr0_of_lexbuf :
    string Env.t -> string Cond.t -> Lexing.lexbuf -> string Expr0.t
end