package codex

  1. Overview
  2. Docs
package codex
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Condition.BedSource

Sourcetype tag = private int
Sourcemodule BDD : sig ... end
Sourcetype !'a mtbdd = private
  1. | Terminal of tag * 'a
  2. | If of tag * int * 'a mtbdd * 'a mtbdd
Sourcemodule type Terminal = sig ... end
Sourcemodule type MTBDD = sig ... end
Sourceval map1 : (module MTBDD with type Terminal.t = 'a) -> (module MTBDD with type Terminal.t = 'res) -> ('a -> 'res) -> 'a mtbdd -> 'res mtbdd
Sourceval map2 : (module MTBDD with type Terminal.t = 'a) -> (module MTBDD with type Terminal.t = 'b) -> (module MTBDD with type Terminal.t = 'res) -> ('a -> 'b -> 'res) -> 'a mtbdd -> 'b mtbdd -> 'res mtbdd
Sourceval map3 : (module MTBDD with type Terminal.t = 'a) -> (module MTBDD with type Terminal.t = 'b) -> (module MTBDD with type Terminal.t = 'c) -> (module MTBDD with type Terminal.t = 'res) -> ('a -> 'b -> 'c -> 'res) -> 'a mtbdd -> 'b mtbdd -> 'c mtbdd -> 'res mtbdd
Sourcemodule MTBDD_Make (Terminal : Terminal) : sig ... end