You can search for identifiers within the package.
in-package search v0.2.0
type pid
and mlvalue
type common = {
pid : pid;
arity : int;
memo : Memo.t;
}
type (!'a, !'b) op1 = {
common1 : common;
closure1 : 'a -> 'b;
type (!'a, !'b, !'c) op2 = {
common2 : common;
closure2 : 'a -> 'b -> 'c;
ospecial2 : ('a Vdd.t -> 'b Vdd.t -> 'c Vdd.t option) option;
commutative : bool;
idempotent : bool;
type (!'a, !'b) test2 = {
common2t : common;
closure2t : 'a -> 'b -> bool;
ospecial2t : ('a Vdd.t -> 'b Vdd.t -> bool option) option;
symetric : bool;
reflexive : bool;
type (!'a, !'b, !'c, !'d) op3 = {
common3 : common;
closure3 : 'a -> 'b -> 'c -> 'd;
ospecial3 : ('a Vdd.t -> 'b Vdd.t -> 'c Vdd.t -> 'd Vdd.t option) option;
type (!'a, !'b) opN = {
commonN : common;
arityNbdd : int;
closureN : Bdd.vt array -> 'a Vdd.t array -> 'b Vdd.t option;
type (!'a, !'b) opG = {
commonG : common;
arityGbdd : int;
closureG : Bdd.vt array -> 'a Vdd.t array -> 'b Vdd.t option;
oclosureBeforeRec : ((int * bool) -> Bdd.vt array -> 'a Vdd.t array -> Bdd.vt array * 'a Vdd.t array) option;
oclosureIte : (int -> 'b Vdd.t -> 'b Vdd.t -> 'b Vdd.t) option;
type !'a exist = {
commonexist : common;
combineexist : ('a, 'a, 'a) op2;
type !'a existand = {
commonexistand : common;
combineexistand : ('a, 'a, 'a) op2;
bottomexistand : 'a;
type (!'a, !'b) existop1 = {
commonexistop1 : common;
combineexistop1 : ('b, 'b, 'b) op2;
existop1 : ('a, 'b) op1;
type (!'a, !'b) existandop1 = {
commonexistandop1 : common;
combineexistandop1 : ('b, 'b, 'b) op2;
existandop1 : ('a, 'b) op1;
bottomexistandop1 : 'b;
val newpid : unit -> pid
val apply_op1 : ('a, 'b) op1 -> 'a Vdd.t -> 'b Vdd.t
val apply_op2 : ('a, 'b, 'c) op2 -> 'a Vdd.t -> 'b Vdd.t -> 'c Vdd.t
val apply_test2 : ('a, 'b) test2 -> 'a Vdd.t -> 'b Vdd.t -> bool
val apply_op3 : ('a, 'b, 'c, 'd) op3 -> 'a Vdd.t -> 'b Vdd.t -> 'c Vdd.t -> 'd Vdd.t
val apply_opN : ('a, 'b) opN -> Bdd.vt array -> 'a Vdd.t array -> 'b Vdd.t
val apply_opG : ('a, 'b) opG -> Bdd.vt array -> 'a Vdd.t array -> 'b Vdd.t
val _apply_exist : 'a exist -> Bdd.vt -> 'a Vdd.t -> 'a Vdd.t
val _apply_existand : 'a existand -> Bdd.vt -> Bdd.vt -> 'a Vdd.t -> 'a Vdd.t
val _apply_existop1 : ('a, 'b) existop1 -> Bdd.vt -> 'a Vdd.t -> 'b Vdd.t
val _apply_existandop1 : ('a, 'b) existandop1 -> Bdd.vt -> Bdd.vt -> 'a Vdd.t -> 'b Vdd.t