package bddapron

  1. Overview
  2. Docs
package bddapron
Legend:
Library
Module
Module type
Parameter
Class
Class type
val to_lconjunction : ('a, ('a, [> 'a Env.typ ] as 'b, [> 'a Env.typdef ] as 'c, 'd) Env.O.t) Cond.O.t -> ('a, ('a, 'b, 'c, 'd) Env.O.t) Expr1.O.Bool.t -> (('a, ('a, 'b, 'c, 'd) Env.O.t) Expr1.O.Bool.t * ('a, ('a, 'b, 'c, 'd) Env.O.t) Expr1.O.Bool.t) list
val forget : ('a, 'b, 'c, 'd) Domain0.man -> ('e, ('e, [> 'e Env.typ ] as 'f, [> 'e Env.typdef ] as 'g, 'h) Env.O.t) Cond.O.t -> ('e, ('e, 'f, 'g, 'h) Env.O.t) Expr1.O.Bool.t -> 'e list -> ('e, ('e, 'f, 'g, 'h) Env.O.t) Expr1.O.Bool.t