package bddapron

  1. Overview
  2. Docs
package bddapron
Legend:
Library
Module
Module type
Parameter
Class
Class type
val expr0_of_string : 'a Env.t -> 'a Cond.t -> string -> 'a Expr0.t
val expr1_of_string : 'a Env.t -> 'a Cond.t -> string -> 'a Expr1.t
val listexpr1_of_lstring : 'a Env.t -> 'a Cond.t -> string list -> 'a Expr1.List.t
val listexpr2_of_lstring : ?normalize:bool -> ?reduce:bool -> ?careset:bool -> 'a Env.t -> 'a Cond.t -> string list -> 'a Expr2.List.t
val boolexpr2_of_string : ?normalize:bool -> ?reduce:bool -> ?careset:bool -> 'a Env.t -> 'a Cond.t -> string -> 'a Expr2.Bool.t
val expr0_of_lexbuf : 'a Env.t -> 'a Cond.t -> Lexing.lexbuf -> 'a Expr0.t