Module Pair.MakeSource

Parameters

Signature

Sourceval bottom : t
Sourceval top : t
Sourceval singleton : t -> t
Sourceval map_fst : (First.t -> First.t) -> t -> t
Sourceval map_snd : (Second.t -> Second.t) -> t -> t
Sourceval is_bottom : t -> bool
Sourceval subset : t -> t -> bool
Sourceval apply : ('a -> 'a) -> ('b -> 'b) -> ('a * 'b) -> 'a * 'b
Sourceval apply2 : ('a -> 'a -> 'a) -> ('b -> 'b -> 'b) -> ('a * 'b) -> ('a * 'b) -> 'a * 'b
Sourceval join : t -> t -> t
Sourceval meet : t -> t -> t
Sourceval widen : 'a Core.Context.ctx -> t -> t -> t
Sourceval print : Core.All.printer -> t -> unit