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