Module Make.MTBDD_MakeSource

Parameters

Signature

Sourceval terminal : Terminal.t -> t
Sourceval mk : Var.t -> t -> t -> t
Sourceval equal : t -> t -> bool
Sourceval hash : t -> int
Sourceval compare : t -> t -> int
Sourceval pretty : Format.formatter -> t -> unit
Sourceval map1 : (Terminal.t -> Terminal.t) -> t -> t
Sourceval map2 : (Terminal.t -> Terminal.t -> Terminal.t) -> t -> t -> t
Sourceval all : (Terminal.t -> bool) -> t -> BDD.t
Sourcemodule With_Set (TerminalSet : sig ... end) : sig ... end