package bddapron

  1. Overview
  2. Docs
package bddapron
Legend:
Library
Module
Module type
Parameter
Class
Class type
val to_lconjunction : 'a Env.t -> 'a Cond.t -> 'a Expr0.Bool.t -> ('a Expr0.Bool.t * 'a Expr0.Bool.t) list
val forget : ('a, 'b, 'c, 'd) Domain0.man -> 'e Env.t -> 'e Cond.t -> 'e Expr0.Bool.t -> 'e list -> 'e Expr0.Bool.t