package bddapron

  1. Overview
  2. Docs
package bddapron
Legend:
Library
Module
Module type
Parameter
Class
Class type
type (!'a, !'b) t = ('a, 'b, 'a cond, Cudd.Man.v) Bdd.Cond.t constraint 'b = ('a, [> 'a Env.typ ] as 'c, [> 'a Env.typdef ] as 'd, 'e) Env.O.t
val make : symbol:'a Bdd.Env.symbol -> ?bddindex0:int -> ?bddsize:int -> ?bddmax:int -> Cudd.Man.vt -> ('a, ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'b) Env.O.t) t