Module SCONDITIONMAP_MTBDD.MTBDD

module Terminal : Bed.Terminal with type t = L.t option

type t = Terminal.t Bed.mtbdd

val equal : t -> t -> bool

val hash : t -> int

val pretty : Stdlib.Format.formatter -> t -> unit

val terminal : Terminal.t -> t

val mk : int -> t -> t -> t