package bddapron

  1. Overview
  2. Docs
val to_lconjunction : 'a Cond.t -> 'a Expr1.Bool.t -> ('a Expr1.Bool.t * 'a Expr1.Bool.t) list
val forget : ('a, 'b, 'c, 'd) Domain0.man -> 'e Cond.t -> 'e Expr1.Bool.t -> 'e list -> 'e Expr1.Bool.t
OCaml

Innovation. Community. Security.