package codex

  1. Overview
  2. Docs

Module Condition.ConditionMapMTBDDSource

include sig ... end
Sourcemodule Cond : sig ... end
Sourcetype 'a t = 'a option Bed.mtbdd
Sourceval ar0 : (module Condition_map.LConditionMap with type t = 'a t and type Cond.t = Cond.t and type L.t = 'a) -> interres:('a -> 'a -> 'a) -> Cond.t -> 'a -> 'a t -> 'a t
Sourceval ar1_bwd : (module Condition_map.LConditionMap with type t = 'a t and type Cond.t = Cond.t and type L.t = 'a) -> joina:('a -> 'a -> 'a) -> bottoma:'a -> intera:('a -> 'a -> 'a) -> (module Condition_map.LConditionMap with type t = 'res t and type Cond.t = Cond.t and type L.t = 'res) -> joinres:('res -> 'res -> 'res) -> bottomres:'res -> Cond.t -> ('a -> 'res -> 'a option) -> 'a t -> 'res t -> Cond.t * 'a t
Sourceval ar2_bwd : (module Condition_map.LConditionMap with type t = 'a t and type Cond.t = Cond.t and type L.t = 'a) -> joina:('a -> 'a -> 'a) -> bottoma:'a -> intera:('a -> 'a -> 'a) -> (module Condition_map.LConditionMap with type t = 'b t and type Cond.t = Cond.t and type L.t = 'b) -> joinb:('b -> 'b -> 'b) -> bottomb:'b -> interb:('b -> 'b -> 'b) -> (module Condition_map.LConditionMap with type t = 'res t and type Cond.t = Cond.t and type L.t = 'res) -> joinres:('res -> 'res -> 'res) -> bottomres:'res -> Cond.t -> ('a -> 'b -> 'res -> 'a option * 'b option) -> 'a t -> 'b t -> 'res t -> (Cond.t * 'a t) * (Cond.t * 'b t)
Sourceval nondet_disjoint : (module Condition_map.LConditionMap with type t = 'res t and type Cond.t = Cond.t and type L.t = 'res) -> conda:Cond.t -> notconda:Cond.t -> cma:'res t -> condb:Cond.t -> notcondb:Cond.t -> cmb:'res t -> join:('res -> 'res -> 'res) -> bottom:'res -> inter:('res -> 'res -> 'res) -> old:'res t -> 'res t
Sourceval nondet_non_disjoint : (module Condition_map.LConditionMap with type t = 'res t and type Cond.t = Cond.t and type L.t = 'res) -> conda:Cond.t -> cma:'res t -> condb:Cond.t -> cmb:'res t -> condaorb:Cond.t -> notcondaorb:Cond.t -> join:('res -> 'res -> 'res) -> bottom:'res -> inter:('res -> 'res -> 'res) -> old:'res t -> 'res t
Sourceval ar1 : (module Ma : SCONDITIONMAP_MTBDD with type value = 'a) -> (module Mres : SCONDITIONMAP_MTBDD with type value = 'res) -> 'b -> (Ma.value -> Mres.value) -> Ma.value option Bed.mtbdd -> Mres.value option Bed.mtbdd -> Mres.value option Bed.mtbdd
Sourceval ar2 : (module Ma : SCONDITIONMAP_MTBDD with type value = 'a) -> (module Mb : SCONDITIONMAP_MTBDD with type value = 'b) -> (module Mres : SCONDITIONMAP_MTBDD with type value = 'res) -> 'c -> (Ma.value -> Mb.value -> Mres.value) -> Ma.value option Bed.mtbdd -> Mb.value option Bed.mtbdd -> Mres.value option Bed.mtbdd -> Mres.value option Bed.mtbdd