sig
module type Map_ =
sig
type 'k key_
type 'e elt_
type ('k, 'e) map
type ('a, 'k, 'e) result_
val empty : ('k, 'e) Reins.Maps.Map_.map
val is_empty : ('k, 'e) Reins.Maps.Map_.map -> bool
val mem :
'k Reins.Maps.Map_.key_ ->
('k, 'e) Reins.Maps.Map_.map ->
(bool, 'k, 'e) Reins.Maps.Map_.result_
val add :
'k Reins.Maps.Map_.key_ ->
'e Reins.Maps.Map_.elt_ ->
('k, 'e) Reins.Maps.Map_.map -> ('k, 'e) Reins.Maps.Map_.map
val singleton :
'k Reins.Maps.Map_.key_ ->
'e Reins.Maps.Map_.elt_ -> ('k, 'e) Reins.Maps.Map_.map
val remove :
'k Reins.Maps.Map_.key_ ->
('k, 'e) Reins.Maps.Map_.map -> ('k, 'e) Reins.Maps.Map_.map
val find :
'k Reins.Maps.Map_.key_ ->
('k, 'e) Reins.Maps.Map_.map ->
('e Reins.Maps.Map_.elt_, 'k, 'e) Reins.Maps.Map_.result_
val min_key :
('k, 'e) Reins.Maps.Map_.map ->
('k Reins.Maps.Map_.key_, 'k, 'e) Reins.Maps.Map_.result_
val max_key :
('k, 'e) Reins.Maps.Map_.map ->
('k Reins.Maps.Map_.key_, 'k, 'e) Reins.Maps.Map_.result_
val min_keyval :
('k, 'e) Reins.Maps.Map_.map ->
('k Reins.Maps.Map_.key_ * 'e Reins.Maps.Map_.elt_, 'k, 'e)
Reins.Maps.Map_.result_
val max_keyval :
('k, 'e) Reins.Maps.Map_.map ->
('k Reins.Maps.Map_.key_ * 'e Reins.Maps.Map_.elt_, 'k, 'e)
Reins.Maps.Map_.result_
val cardinal : ('k, 'e) Reins.Maps.Map_.map -> int
val iter :
('k Reins.Maps.Map_.key_ -> 'e Reins.Maps.Map_.elt_ -> unit) ->
('k, 'e) Reins.Maps.Map_.map -> unit
val fold :
('acc -> 'k Reins.Maps.Map_.key_ -> 'e Reins.Maps.Map_.elt_ -> 'acc) ->
'acc -> ('k, 'e) Reins.Maps.Map_.map -> 'acc
val map :
('e Reins.Maps.Map_.elt_ -> 'f Reins.Maps.Map_.elt_) ->
('k, 'e) Reins.Maps.Map_.map -> ('k, 'f) Reins.Maps.Map_.map
val mapi :
('k Reins.Maps.Map_.key_ ->
'e Reins.Maps.Map_.elt_ -> 'f Reins.Maps.Map_.elt_) ->
('k, 'e) Reins.Maps.Map_.map -> ('k, 'f) Reins.Maps.Map_.map
val union :
('k Reins.Maps.Map_.key_ ->
'e Reins.Maps.Map_.elt_ ->
'e Reins.Maps.Map_.elt_ -> 'e Reins.Maps.Map_.elt_) ->
('k, 'e) Reins.Maps.Map_.map ->
('k, 'e) Reins.Maps.Map_.map -> ('k, 'e) Reins.Maps.Map_.map
val inter :
('k Reins.Maps.Map_.key_ ->
'e Reins.Maps.Map_.elt_ ->
'e Reins.Maps.Map_.elt_ -> 'e Reins.Maps.Map_.elt_) ->
('k, 'e) Reins.Maps.Map_.map ->
('k, 'e) Reins.Maps.Map_.map -> ('k, 'e) Reins.Maps.Map_.map
val diff :
('k Reins.Maps.Map_.key_ ->
'e Reins.Maps.Map_.elt_ -> 'e Reins.Maps.Map_.elt_ -> bool) ->
('k, 'e) Reins.Maps.Map_.map ->
('k, 'e) Reins.Maps.Map_.map -> ('k, 'e) Reins.Maps.Map_.map
val well_formed : ('k, 'e) Reins.Maps.Map_.map -> bool
val of_result : ('a, 'k, 'e) Reins.Maps.Map_.result_ -> 'a
type ('k, 'e) cursor_
val to_cursor :
('k, 'e) Reins.Maps.Map_.map -> ('k, 'e) Reins.Maps.Map_.cursor_
val from_cursor :
('k, 'e) Reins.Maps.Map_.cursor_ -> ('k, 'e) Reins.Maps.Map_.map
val at_top : ('k, 'e) Reins.Maps.Map_.cursor_ -> bool
val at_left : ('k, 'e) Reins.Maps.Map_.cursor_ -> bool
val at_right : ('k, 'e) Reins.Maps.Map_.cursor_ -> bool
val move_up :
('k, 'e) Reins.Maps.Map_.cursor_ -> ('k, 'e) Reins.Maps.Map_.cursor_
val move_down_left :
('k, 'e) Reins.Maps.Map_.cursor_ -> ('k, 'e) Reins.Maps.Map_.cursor_
val move_down_right :
('k, 'e) Reins.Maps.Map_.cursor_ -> ('k, 'e) Reins.Maps.Map_.cursor_
val went_left : ('k, 'e) Reins.Maps.Map_.cursor_ -> bool
val went_right : ('k, 'e) Reins.Maps.Map_.cursor_ -> bool
val has_value : ('k, 'e) Reins.Maps.Map_.cursor_ -> bool
val get_value :
('k, 'e) Reins.Maps.Map_.cursor_ ->
'k Reins.Maps.Map_.key_ * 'e Reins.Maps.Map_.elt_
end
module type PolyMapSig =
sig
type ('k, 'e) t
type 'k key = 'k
type 'e elt = 'e
type ('k, 'e) cursor
type ('a, 'k, 'v) result
type 'a key_ = 'a
type 'e elt_ = 'e
type ('k, 'e) map = ('k, 'e) t
type ('a, 'k, 'v) result_ = ('a, 'k, 'v) result
val empty : ('k, 'e) map
val is_empty : ('k, 'e) map -> bool
val mem : 'k key_ -> ('k, 'e) map -> (bool, 'k, 'e) result_
val add : 'k key_ -> 'e elt_ -> ('k, 'e) map -> ('k, 'e) map
val singleton : 'k key_ -> 'e elt_ -> ('k, 'e) map
val remove : 'k key_ -> ('k, 'e) map -> ('k, 'e) map
val find : 'k key_ -> ('k, 'e) map -> ('e elt_, 'k, 'e) result_
val min_key : ('k, 'e) map -> ('k key_, 'k, 'e) result_
val max_key : ('k, 'e) map -> ('k key_, 'k, 'e) result_
val min_keyval : ('k, 'e) map -> ('k key_ * 'e elt_, 'k, 'e) result_
val max_keyval : ('k, 'e) map -> ('k key_ * 'e elt_, 'k, 'e) result_
val cardinal : ('k, 'e) map -> int
val iter : ('k key_ -> 'e elt_ -> unit) -> ('k, 'e) map -> unit
val fold :
('acc -> 'k key_ -> 'e elt_ -> 'acc) -> 'acc -> ('k, 'e) map -> 'acc
val map : ('e elt_ -> 'f elt_) -> ('k, 'e) map -> ('k, 'f) map
val mapi :
('k key_ -> 'e elt_ -> 'f elt_) -> ('k, 'e) map -> ('k, 'f) map
val union :
('k key_ -> 'e elt_ -> 'e elt_ -> 'e elt_) ->
('k, 'e) map -> ('k, 'e) map -> ('k, 'e) map
val inter :
('k key_ -> 'e elt_ -> 'e elt_ -> 'e elt_) ->
('k, 'e) map -> ('k, 'e) map -> ('k, 'e) map
val diff :
('k key_ -> 'e elt_ -> 'e elt_ -> bool) ->
('k, 'e) map -> ('k, 'e) map -> ('k, 'e) map
val well_formed : ('k, 'e) map -> bool
val of_result : ('a, 'k, 'e) result_ -> 'a
type ('k, 'e) cursor_ = ('k, 'e) cursor
val to_cursor : ('k, 'e) map -> ('k, 'e) cursor_
val from_cursor : ('k, 'e) cursor_ -> ('k, 'e) map
val at_top : ('k, 'e) cursor_ -> bool
val at_left : ('k, 'e) cursor_ -> bool
val at_right : ('k, 'e) cursor_ -> bool
val move_up : ('k, 'e) cursor_ -> ('k, 'e) cursor_
val move_down_left : ('k, 'e) cursor_ -> ('k, 'e) cursor_
val move_down_right : ('k, 'e) cursor_ -> ('k, 'e) cursor_
val went_left : ('k, 'e) cursor_ -> bool
val went_right : ('k, 'e) cursor_ -> bool
val has_value : ('k, 'e) cursor_ -> bool
val get_value : ('k, 'e) cursor_ -> 'k key_ * 'e elt_
val gen2 :
(?size:int -> Random.State.t -> 'k key_) ->
(?size:int -> Random.State.t -> 'e elt_) ->
?size:int -> Random.State.t -> ('k, 'e) map
val to_string : ('k -> 'e -> string) -> ('k, 'e) map -> string
val compare :
('k -> 'k -> int) ->
('e -> 'e -> int) ->
('k, 'e) Reins.Maps.PolyMapSig.t ->
('k, 'e) Reins.Maps.PolyMapSig.t -> int
val compare_keys :
('k -> 'k -> int) ->
('k, 'e) Reins.Maps.PolyMapSig.t ->
('k, 'e) Reins.Maps.PolyMapSig.t -> int
end
module type PolyMapSigStd =
sig
type ('k, 'e) t
type 'k key = 'k
type 'e elt = 'e
type ('k, 'e) cursor
type ('a, 'k, 'v) result = 'a
type 'a key_ = 'a
type 'e elt_ = 'e
type ('k, 'e) map = ('k, 'e) t
type ('a, 'k, 'v) result_ = ('a, 'k, 'v) result
val empty : ('k, 'e) map
val is_empty : ('k, 'e) map -> bool
val mem : 'k key_ -> ('k, 'e) map -> (bool, 'k, 'e) result_
val add : 'k key_ -> 'e elt_ -> ('k, 'e) map -> ('k, 'e) map
val singleton : 'k key_ -> 'e elt_ -> ('k, 'e) map
val remove : 'k key_ -> ('k, 'e) map -> ('k, 'e) map
val find : 'k key_ -> ('k, 'e) map -> ('e elt_, 'k, 'e) result_
val min_key : ('k, 'e) map -> ('k key_, 'k, 'e) result_
val max_key : ('k, 'e) map -> ('k key_, 'k, 'e) result_
val min_keyval : ('k, 'e) map -> ('k key_ * 'e elt_, 'k, 'e) result_
val max_keyval : ('k, 'e) map -> ('k key_ * 'e elt_, 'k, 'e) result_
val cardinal : ('k, 'e) map -> int
val iter : ('k key_ -> 'e elt_ -> unit) -> ('k, 'e) map -> unit
val fold :
('acc -> 'k key_ -> 'e elt_ -> 'acc) -> 'acc -> ('k, 'e) map -> 'acc
val map : ('e elt_ -> 'f elt_) -> ('k, 'e) map -> ('k, 'f) map
val mapi :
('k key_ -> 'e elt_ -> 'f elt_) -> ('k, 'e) map -> ('k, 'f) map
val union :
('k key_ -> 'e elt_ -> 'e elt_ -> 'e elt_) ->
('k, 'e) map -> ('k, 'e) map -> ('k, 'e) map
val inter :
('k key_ -> 'e elt_ -> 'e elt_ -> 'e elt_) ->
('k, 'e) map -> ('k, 'e) map -> ('k, 'e) map
val diff :
('k key_ -> 'e elt_ -> 'e elt_ -> bool) ->
('k, 'e) map -> ('k, 'e) map -> ('k, 'e) map
val well_formed : ('k, 'e) map -> bool
val of_result : ('a, 'k, 'e) result_ -> 'a
type ('k, 'e) cursor_ = ('k, 'e) cursor
val to_cursor : ('k, 'e) map -> ('k, 'e) cursor_
val from_cursor : ('k, 'e) cursor_ -> ('k, 'e) map
val at_top : ('k, 'e) cursor_ -> bool
val at_left : ('k, 'e) cursor_ -> bool
val at_right : ('k, 'e) cursor_ -> bool
val move_up : ('k, 'e) cursor_ -> ('k, 'e) cursor_
val move_down_left : ('k, 'e) cursor_ -> ('k, 'e) cursor_
val move_down_right : ('k, 'e) cursor_ -> ('k, 'e) cursor_
val went_left : ('k, 'e) cursor_ -> bool
val went_right : ('k, 'e) cursor_ -> bool
val has_value : ('k, 'e) cursor_ -> bool
val get_value : ('k, 'e) cursor_ -> 'k key_ * 'e elt_
val gen2 :
(?size:int -> Random.State.t -> 'k key_) ->
(?size:int -> Random.State.t -> 'e elt_) ->
?size:int -> Random.State.t -> ('k, 'e) map
val to_string : ('k -> 'e -> string) -> ('k, 'e) map -> string
val compare :
('k -> 'k -> int) ->
('e -> 'e -> int) -> ('k, 'e) t -> ('k, 'e) t -> int
val compare_keys : ('k -> 'k -> int) -> ('k, 'e) t -> ('k, 'e) t -> int
end
module type MonoKeyMapSig =
sig
type 'e t
type key
type 'e elt = 'e
type 'e cursor
type ('a, 'v) result
type 'k key_ = key
type 'e elt_ = 'e
type ('k, 'e) map = 'e t
type ('a, 'k, 'v) result_ = ('a, 'v) result
val empty : ('k, 'e) map
val is_empty : ('k, 'e) map -> bool
val mem : 'k key_ -> ('k, 'e) map -> (bool, 'k, 'e) result_
val add : 'k key_ -> 'e elt_ -> ('k, 'e) map -> ('k, 'e) map
val singleton : 'k key_ -> 'e elt_ -> ('k, 'e) map
val remove : 'k key_ -> ('k, 'e) map -> ('k, 'e) map
val find : 'k key_ -> ('k, 'e) map -> ('e elt_, 'k, 'e) result_
val min_key : ('k, 'e) map -> ('k key_, 'k, 'e) result_
val max_key : ('k, 'e) map -> ('k key_, 'k, 'e) result_
val min_keyval : ('k, 'e) map -> ('k key_ * 'e elt_, 'k, 'e) result_
val max_keyval : ('k, 'e) map -> ('k key_ * 'e elt_, 'k, 'e) result_
val cardinal : ('k, 'e) map -> int
val iter : ('k key_ -> 'e elt_ -> unit) -> ('k, 'e) map -> unit
val fold :
('acc -> 'k key_ -> 'e elt_ -> 'acc) -> 'acc -> ('k, 'e) map -> 'acc
val map : ('e elt_ -> 'f elt_) -> ('k, 'e) map -> ('k, 'f) map
val mapi :
('k key_ -> 'e elt_ -> 'f elt_) -> ('k, 'e) map -> ('k, 'f) map
val union :
('k key_ -> 'e elt_ -> 'e elt_ -> 'e elt_) ->
('k, 'e) map -> ('k, 'e) map -> ('k, 'e) map
val inter :
('k key_ -> 'e elt_ -> 'e elt_ -> 'e elt_) ->
('k, 'e) map -> ('k, 'e) map -> ('k, 'e) map
val diff :
('k key_ -> 'e elt_ -> 'e elt_ -> bool) ->
('k, 'e) map -> ('k, 'e) map -> ('k, 'e) map
val well_formed : ('k, 'e) map -> bool
val of_result : ('a, 'k, 'e) result_ -> 'a
type ('k, 'e) cursor_ = 'e cursor
val to_cursor : ('k, 'e) map -> ('k, 'e) cursor_
val from_cursor : ('k, 'e) cursor_ -> ('k, 'e) map
val at_top : ('k, 'e) cursor_ -> bool
val at_left : ('k, 'e) cursor_ -> bool
val at_right : ('k, 'e) cursor_ -> bool
val move_up : ('k, 'e) cursor_ -> ('k, 'e) cursor_
val move_down_left : ('k, 'e) cursor_ -> ('k, 'e) cursor_
val move_down_right : ('k, 'e) cursor_ -> ('k, 'e) cursor_
val went_left : ('k, 'e) cursor_ -> bool
val went_right : ('k, 'e) cursor_ -> bool
val has_value : ('k, 'e) cursor_ -> bool
val get_value : ('k, 'e) cursor_ -> 'k key_ * 'e elt_
val compare_keys :
'e Reins.Maps.MonoKeyMapSig.t -> 'e Reins.Maps.MonoKeyMapSig.t -> int
val compare :
('e -> 'e -> int) ->
'e Reins.Maps.MonoKeyMapSig.t -> 'e Reins.Maps.MonoKeyMapSig.t -> int
val to_string :
('e -> string) -> 'e Reins.Maps.MonoKeyMapSig.t -> string
val gen2 :
(?size:int -> Random.State.t -> Reins.Maps.MonoKeyMapSig.key) ->
(?size:int -> Random.State.t -> 'a) ->
?size:int -> Random.State.t -> 'a Reins.Maps.MonoKeyMapSig.t
end
module type MonoKeyMapSigStd =
sig
type 'e t
type key
type 'e elt = 'e
type 'e cursor
type ('a, 'v) result = 'a
type 'k key_ = key
type 'e elt_ = 'e
type ('k, 'e) map = 'e t
type ('a, 'k, 'v) result_ = ('a, 'v) result
val empty : ('k, 'e) map
val is_empty : ('k, 'e) map -> bool
val mem : 'k key_ -> ('k, 'e) map -> (bool, 'k, 'e) result_
val add : 'k key_ -> 'e elt_ -> ('k, 'e) map -> ('k, 'e) map
val singleton : 'k key_ -> 'e elt_ -> ('k, 'e) map
val remove : 'k key_ -> ('k, 'e) map -> ('k, 'e) map
val find : 'k key_ -> ('k, 'e) map -> ('e elt_, 'k, 'e) result_
val min_key : ('k, 'e) map -> ('k key_, 'k, 'e) result_
val max_key : ('k, 'e) map -> ('k key_, 'k, 'e) result_
val min_keyval : ('k, 'e) map -> ('k key_ * 'e elt_, 'k, 'e) result_
val max_keyval : ('k, 'e) map -> ('k key_ * 'e elt_, 'k, 'e) result_
val cardinal : ('k, 'e) map -> int
val iter : ('k key_ -> 'e elt_ -> unit) -> ('k, 'e) map -> unit
val fold :
('acc -> 'k key_ -> 'e elt_ -> 'acc) -> 'acc -> ('k, 'e) map -> 'acc
val map : ('e elt_ -> 'f elt_) -> ('k, 'e) map -> ('k, 'f) map
val mapi :
('k key_ -> 'e elt_ -> 'f elt_) -> ('k, 'e) map -> ('k, 'f) map
val union :
('k key_ -> 'e elt_ -> 'e elt_ -> 'e elt_) ->
('k, 'e) map -> ('k, 'e) map -> ('k, 'e) map
val inter :
('k key_ -> 'e elt_ -> 'e elt_ -> 'e elt_) ->
('k, 'e) map -> ('k, 'e) map -> ('k, 'e) map
val diff :
('k key_ -> 'e elt_ -> 'e elt_ -> bool) ->
('k, 'e) map -> ('k, 'e) map -> ('k, 'e) map
val well_formed : ('k, 'e) map -> bool
val of_result : ('a, 'k, 'e) result_ -> 'a
type ('k, 'e) cursor_ = 'e cursor
val to_cursor : ('k, 'e) map -> ('k, 'e) cursor_
val from_cursor : ('k, 'e) cursor_ -> ('k, 'e) map
val at_top : ('k, 'e) cursor_ -> bool
val at_left : ('k, 'e) cursor_ -> bool
val at_right : ('k, 'e) cursor_ -> bool
val move_up : ('k, 'e) cursor_ -> ('k, 'e) cursor_
val move_down_left : ('k, 'e) cursor_ -> ('k, 'e) cursor_
val move_down_right : ('k, 'e) cursor_ -> ('k, 'e) cursor_
val went_left : ('k, 'e) cursor_ -> bool
val went_right : ('k, 'e) cursor_ -> bool
val has_value : ('k, 'e) cursor_ -> bool
val get_value : ('k, 'e) cursor_ -> 'k key_ * 'e elt_
val compare_keys : 'e t -> 'e t -> int
val compare : ('e -> 'e -> int) -> 'e t -> 'e t -> int
val to_string : ('e -> string) -> 'e t -> string
val gen2 :
(?size:int -> Random.State.t -> key) ->
(?size:int -> Random.State.t -> 'a) ->
?size:int -> Random.State.t -> 'a t
end
module type MonoKeyMapSigFnStd =
functor (C : Types.Mono.Comparable) ->
sig
type 'e t
type key = C.t
type 'e elt = 'e
type 'e cursor
type ('a, 'v) result = 'a
type 'k key_ = key
type 'e elt_ = 'e
type ('k, 'e) map = 'e t
type ('a, 'k, 'v) result_ = ('a, 'v) result
val empty : ('k, 'e) map
val is_empty : ('k, 'e) map -> bool
val mem : 'k key_ -> ('k, 'e) map -> (bool, 'k, 'e) result_
val add : 'k key_ -> 'e elt_ -> ('k, 'e) map -> ('k, 'e) map
val singleton : 'k key_ -> 'e elt_ -> ('k, 'e) map
val remove : 'k key_ -> ('k, 'e) map -> ('k, 'e) map
val find : 'k key_ -> ('k, 'e) map -> ('e elt_, 'k, 'e) result_
val min_key : ('k, 'e) map -> ('k key_, 'k, 'e) result_
val max_key : ('k, 'e) map -> ('k key_, 'k, 'e) result_
val min_keyval : ('k, 'e) map -> ('k key_ * 'e elt_, 'k, 'e) result_
val max_keyval : ('k, 'e) map -> ('k key_ * 'e elt_, 'k, 'e) result_
val cardinal : ('k, 'e) map -> int
val iter : ('k key_ -> 'e elt_ -> unit) -> ('k, 'e) map -> unit
val fold :
('acc -> 'k key_ -> 'e elt_ -> 'acc) ->
'acc -> ('k, 'e) map -> 'acc
val map : ('e elt_ -> 'f elt_) -> ('k, 'e) map -> ('k, 'f) map
val mapi :
('k key_ -> 'e elt_ -> 'f elt_) -> ('k, 'e) map -> ('k, 'f) map
val union :
('k key_ -> 'e elt_ -> 'e elt_ -> 'e elt_) ->
('k, 'e) map -> ('k, 'e) map -> ('k, 'e) map
val inter :
('k key_ -> 'e elt_ -> 'e elt_ -> 'e elt_) ->
('k, 'e) map -> ('k, 'e) map -> ('k, 'e) map
val diff :
('k key_ -> 'e elt_ -> 'e elt_ -> bool) ->
('k, 'e) map -> ('k, 'e) map -> ('k, 'e) map
val well_formed : ('k, 'e) map -> bool
val of_result : ('a, 'k, 'e) result_ -> 'a
type ('k, 'e) cursor_ = 'e cursor
val to_cursor : ('k, 'e) map -> ('k, 'e) cursor_
val from_cursor : ('k, 'e) cursor_ -> ('k, 'e) map
val at_top : ('k, 'e) cursor_ -> bool
val at_left : ('k, 'e) cursor_ -> bool
val at_right : ('k, 'e) cursor_ -> bool
val move_up : ('k, 'e) cursor_ -> ('k, 'e) cursor_
val move_down_left : ('k, 'e) cursor_ -> ('k, 'e) cursor_
val move_down_right : ('k, 'e) cursor_ -> ('k, 'e) cursor_
val went_left : ('k, 'e) cursor_ -> bool
val went_right : ('k, 'e) cursor_ -> bool
val has_value : ('k, 'e) cursor_ -> bool
val get_value : ('k, 'e) cursor_ -> 'k key_ * 'e elt_
val compare_keys : 'e t -> 'e t -> int
val compare : ('e -> 'e -> int) -> 'e t -> 'e t -> int
val to_string : ('e -> string) -> 'e t -> string
val gen2 :
(?size:int -> Random.State.t -> key) ->
(?size:int -> Random.State.t -> 'a) ->
?size:int -> Random.State.t -> 'a t
end
module type GenKeyMapSig =
sig
type 'e t
type key
type 'e elt = 'e
type 'e cursor
type ('a, 'v) result
type 'k key_ = key
type 'e elt_ = 'e
type ('k, 'e) map = 'e t
type ('a, 'k, 'v) result_ = ('a, 'v) result
val empty : ('k, 'e) map
val is_empty : ('k, 'e) map -> bool
val mem : 'k key_ -> ('k, 'e) map -> (bool, 'k, 'e) result_
val add : 'k key_ -> 'e elt_ -> ('k, 'e) map -> ('k, 'e) map
val singleton : 'k key_ -> 'e elt_ -> ('k, 'e) map
val remove : 'k key_ -> ('k, 'e) map -> ('k, 'e) map
val find : 'k key_ -> ('k, 'e) map -> ('e elt_, 'k, 'e) result_
val min_key : ('k, 'e) map -> ('k key_, 'k, 'e) result_
val max_key : ('k, 'e) map -> ('k key_, 'k, 'e) result_
val min_keyval : ('k, 'e) map -> ('k key_ * 'e elt_, 'k, 'e) result_
val max_keyval : ('k, 'e) map -> ('k key_ * 'e elt_, 'k, 'e) result_
val cardinal : ('k, 'e) map -> int
val iter : ('k key_ -> 'e elt_ -> unit) -> ('k, 'e) map -> unit
val fold :
('acc -> 'k key_ -> 'e elt_ -> 'acc) -> 'acc -> ('k, 'e) map -> 'acc
val map : ('e elt_ -> 'f elt_) -> ('k, 'e) map -> ('k, 'f) map
val mapi :
('k key_ -> 'e elt_ -> 'f elt_) -> ('k, 'e) map -> ('k, 'f) map
val union :
('k key_ -> 'e elt_ -> 'e elt_ -> 'e elt_) ->
('k, 'e) map -> ('k, 'e) map -> ('k, 'e) map
val inter :
('k key_ -> 'e elt_ -> 'e elt_ -> 'e elt_) ->
('k, 'e) map -> ('k, 'e) map -> ('k, 'e) map
val diff :
('k key_ -> 'e elt_ -> 'e elt_ -> bool) ->
('k, 'e) map -> ('k, 'e) map -> ('k, 'e) map
val well_formed : ('k, 'e) map -> bool
val of_result : ('a, 'k, 'e) result_ -> 'a
type ('k, 'e) cursor_ = 'e cursor
val to_cursor : ('k, 'e) map -> ('k, 'e) cursor_
val from_cursor : ('k, 'e) cursor_ -> ('k, 'e) map
val at_top : ('k, 'e) cursor_ -> bool
val at_left : ('k, 'e) cursor_ -> bool
val at_right : ('k, 'e) cursor_ -> bool
val move_up : ('k, 'e) cursor_ -> ('k, 'e) cursor_
val move_down_left : ('k, 'e) cursor_ -> ('k, 'e) cursor_
val move_down_right : ('k, 'e) cursor_ -> ('k, 'e) cursor_
val went_left : ('k, 'e) cursor_ -> bool
val went_right : ('k, 'e) cursor_ -> bool
val has_value : ('k, 'e) cursor_ -> bool
val get_value : ('k, 'e) cursor_ -> 'k key_ * 'e elt_
val compare_keys : 'e t -> 'e t -> int
val compare : ('e -> 'e -> int) -> 'e t -> 'e t -> int
val to_string : ('e -> string) -> 'e t -> string
val gen2 :
(?size:int -> Random.State.t -> key) ->
(?size:int -> Random.State.t -> 'a) ->
?size:int -> Random.State.t -> 'a t
val gen1 :
(?size:int -> Random.State.t -> 'e) ->
?size:int -> Random.State.t -> 'e t
end
module type GenKeyMapSigStd =
sig
type 'e t
type key
type 'e elt = 'e
type 'e cursor
type ('a, 'v) result = 'a
type 'k key_ = key
type 'e elt_ = 'e
type ('k, 'e) map = 'e t
type ('a, 'k, 'v) result_ = ('a, 'v) result
val empty : ('k, 'e) map
val is_empty : ('k, 'e) map -> bool
val mem : 'k key_ -> ('k, 'e) map -> (bool, 'k, 'e) result_
val add : 'k key_ -> 'e elt_ -> ('k, 'e) map -> ('k, 'e) map
val singleton : 'k key_ -> 'e elt_ -> ('k, 'e) map
val remove : 'k key_ -> ('k, 'e) map -> ('k, 'e) map
val find : 'k key_ -> ('k, 'e) map -> ('e elt_, 'k, 'e) result_
val min_key : ('k, 'e) map -> ('k key_, 'k, 'e) result_
val max_key : ('k, 'e) map -> ('k key_, 'k, 'e) result_
val min_keyval : ('k, 'e) map -> ('k key_ * 'e elt_, 'k, 'e) result_
val max_keyval : ('k, 'e) map -> ('k key_ * 'e elt_, 'k, 'e) result_
val cardinal : ('k, 'e) map -> int
val iter : ('k key_ -> 'e elt_ -> unit) -> ('k, 'e) map -> unit
val fold :
('acc -> 'k key_ -> 'e elt_ -> 'acc) -> 'acc -> ('k, 'e) map -> 'acc
val map : ('e elt_ -> 'f elt_) -> ('k, 'e) map -> ('k, 'f) map
val mapi :
('k key_ -> 'e elt_ -> 'f elt_) -> ('k, 'e) map -> ('k, 'f) map
val union :
('k key_ -> 'e elt_ -> 'e elt_ -> 'e elt_) ->
('k, 'e) map -> ('k, 'e) map -> ('k, 'e) map
val inter :
('k key_ -> 'e elt_ -> 'e elt_ -> 'e elt_) ->
('k, 'e) map -> ('k, 'e) map -> ('k, 'e) map
val diff :
('k key_ -> 'e elt_ -> 'e elt_ -> bool) ->
('k, 'e) map -> ('k, 'e) map -> ('k, 'e) map
val well_formed : ('k, 'e) map -> bool
val of_result : ('a, 'k, 'e) result_ -> 'a
type ('k, 'e) cursor_ = 'e cursor
val to_cursor : ('k, 'e) map -> ('k, 'e) cursor_
val from_cursor : ('k, 'e) cursor_ -> ('k, 'e) map
val at_top : ('k, 'e) cursor_ -> bool
val at_left : ('k, 'e) cursor_ -> bool
val at_right : ('k, 'e) cursor_ -> bool
val move_up : ('k, 'e) cursor_ -> ('k, 'e) cursor_
val move_down_left : ('k, 'e) cursor_ -> ('k, 'e) cursor_
val move_down_right : ('k, 'e) cursor_ -> ('k, 'e) cursor_
val went_left : ('k, 'e) cursor_ -> bool
val went_right : ('k, 'e) cursor_ -> bool
val has_value : ('k, 'e) cursor_ -> bool
val get_value : ('k, 'e) cursor_ -> 'k key_ * 'e elt_
val compare_keys : 'e t -> 'e t -> int
val compare : ('e -> 'e -> int) -> 'e t -> 'e t -> int
val to_string : ('e -> string) -> 'e t -> string
val gen2 :
(?size:int -> Random.State.t -> key) ->
(?size:int -> Random.State.t -> 'a) ->
?size:int -> Random.State.t -> 'a t
val gen1 :
(?size:int -> Random.State.t -> 'e) ->
?size:int -> Random.State.t -> 'e t
end
module type GenKeyMapSigFnStd =
functor (C : Types.Mono.ArbitraryComparable) ->
sig
type 'e t
type key = C.t
type 'e elt = 'e
type 'e cursor
type ('a, 'v) result = 'a
type 'k key_ = key
type 'e elt_ = 'e
type ('k, 'e) map = 'e t
type ('a, 'k, 'v) result_ = ('a, 'v) result
val empty : ('k, 'e) map
val is_empty : ('k, 'e) map -> bool
val mem : 'k key_ -> ('k, 'e) map -> (bool, 'k, 'e) result_
val add : 'k key_ -> 'e elt_ -> ('k, 'e) map -> ('k, 'e) map
val singleton : 'k key_ -> 'e elt_ -> ('k, 'e) map
val remove : 'k key_ -> ('k, 'e) map -> ('k, 'e) map
val find : 'k key_ -> ('k, 'e) map -> ('e elt_, 'k, 'e) result_
val min_key : ('k, 'e) map -> ('k key_, 'k, 'e) result_
val max_key : ('k, 'e) map -> ('k key_, 'k, 'e) result_
val min_keyval : ('k, 'e) map -> ('k key_ * 'e elt_, 'k, 'e) result_
val max_keyval : ('k, 'e) map -> ('k key_ * 'e elt_, 'k, 'e) result_
val cardinal : ('k, 'e) map -> int
val iter : ('k key_ -> 'e elt_ -> unit) -> ('k, 'e) map -> unit
val fold :
('acc -> 'k key_ -> 'e elt_ -> 'acc) ->
'acc -> ('k, 'e) map -> 'acc
val map : ('e elt_ -> 'f elt_) -> ('k, 'e) map -> ('k, 'f) map
val mapi :
('k key_ -> 'e elt_ -> 'f elt_) -> ('k, 'e) map -> ('k, 'f) map
val union :
('k key_ -> 'e elt_ -> 'e elt_ -> 'e elt_) ->
('k, 'e) map -> ('k, 'e) map -> ('k, 'e) map
val inter :
('k key_ -> 'e elt_ -> 'e elt_ -> 'e elt_) ->
('k, 'e) map -> ('k, 'e) map -> ('k, 'e) map
val diff :
('k key_ -> 'e elt_ -> 'e elt_ -> bool) ->
('k, 'e) map -> ('k, 'e) map -> ('k, 'e) map
val well_formed : ('k, 'e) map -> bool
val of_result : ('a, 'k, 'e) result_ -> 'a
type ('k, 'e) cursor_ = 'e cursor
val to_cursor : ('k, 'e) map -> ('k, 'e) cursor_
val from_cursor : ('k, 'e) cursor_ -> ('k, 'e) map
val at_top : ('k, 'e) cursor_ -> bool
val at_left : ('k, 'e) cursor_ -> bool
val at_right : ('k, 'e) cursor_ -> bool
val move_up : ('k, 'e) cursor_ -> ('k, 'e) cursor_
val move_down_left : ('k, 'e) cursor_ -> ('k, 'e) cursor_
val move_down_right : ('k, 'e) cursor_ -> ('k, 'e) cursor_
val went_left : ('k, 'e) cursor_ -> bool
val went_right : ('k, 'e) cursor_ -> bool
val has_value : ('k, 'e) cursor_ -> bool
val get_value : ('k, 'e) cursor_ -> 'k key_ * 'e elt_
val compare_keys : 'e t -> 'e t -> int
val compare : ('e -> 'e -> int) -> 'e t -> 'e t -> int
val to_string : ('e -> string) -> 'e t -> string
val gen2 :
(?size:int -> Random.State.t -> key) ->
(?size:int -> Random.State.t -> 'a) ->
?size:int -> Random.State.t -> 'a t
val gen1 :
(?size:int -> Random.State.t -> 'e) ->
?size:int -> Random.State.t -> 'e t
end
module type MonoMapSig =
sig
type t
type key
type elt
type cursor
type 'a result
type 'k key_ = key
type 'e elt_ = elt
type ('k, 'e) map = t
type ('a, 'k, 'v) result_ = 'a result
val empty : ('k, 'e) map
val is_empty : ('k, 'e) map -> bool
val mem : 'k key_ -> ('k, 'e) map -> (bool, 'k, 'e) result_
val add : 'k key_ -> 'e elt_ -> ('k, 'e) map -> ('k, 'e) map
val singleton : 'k key_ -> 'e elt_ -> ('k, 'e) map
val remove : 'k key_ -> ('k, 'e) map -> ('k, 'e) map
val find : 'k key_ -> ('k, 'e) map -> ('e elt_, 'k, 'e) result_
val min_key : ('k, 'e) map -> ('k key_, 'k, 'e) result_
val max_key : ('k, 'e) map -> ('k key_, 'k, 'e) result_
val min_keyval : ('k, 'e) map -> ('k key_ * 'e elt_, 'k, 'e) result_
val max_keyval : ('k, 'e) map -> ('k key_ * 'e elt_, 'k, 'e) result_
val cardinal : ('k, 'e) map -> int
val iter : ('k key_ -> 'e elt_ -> unit) -> ('k, 'e) map -> unit
val fold :
('acc -> 'k key_ -> 'e elt_ -> 'acc) -> 'acc -> ('k, 'e) map -> 'acc
val map : ('e elt_ -> 'f elt_) -> ('k, 'e) map -> ('k, 'f) map
val mapi :
('k key_ -> 'e elt_ -> 'f elt_) -> ('k, 'e) map -> ('k, 'f) map
val union :
('k key_ -> 'e elt_ -> 'e elt_ -> 'e elt_) ->
('k, 'e) map -> ('k, 'e) map -> ('k, 'e) map
val inter :
('k key_ -> 'e elt_ -> 'e elt_ -> 'e elt_) ->
('k, 'e) map -> ('k, 'e) map -> ('k, 'e) map
val diff :
('k key_ -> 'e elt_ -> 'e elt_ -> bool) ->
('k, 'e) map -> ('k, 'e) map -> ('k, 'e) map
val well_formed : ('k, 'e) map -> bool
val of_result : ('a, 'k, 'e) result_ -> 'a
type ('k, 'e) cursor_ = cursor
val to_cursor : ('k, 'e) map -> ('k, 'e) cursor_
val from_cursor : ('k, 'e) cursor_ -> ('k, 'e) map
val at_top : ('k, 'e) cursor_ -> bool
val at_left : ('k, 'e) cursor_ -> bool
val at_right : ('k, 'e) cursor_ -> bool
val move_up : ('k, 'e) cursor_ -> ('k, 'e) cursor_
val move_down_left : ('k, 'e) cursor_ -> ('k, 'e) cursor_
val move_down_right : ('k, 'e) cursor_ -> ('k, 'e) cursor_
val went_left : ('k, 'e) cursor_ -> bool
val went_right : ('k, 'e) cursor_ -> bool
val has_value : ('k, 'e) cursor_ -> bool
val get_value : ('k, 'e) cursor_ -> 'k key_ * 'e elt_
val compare_keys :
Reins.Maps.MonoMapSig.t -> Reins.Maps.MonoMapSig.t -> int
val compare : Reins.Maps.MonoMapSig.t -> Reins.Maps.MonoMapSig.t -> int
val to_string : Reins.Maps.MonoMapSig.t -> string
val gen2 :
(?size:int -> Random.State.t -> Reins.Maps.MonoMapSig.key) ->
(?size:int -> Random.State.t -> Reins.Maps.MonoMapSig.elt) ->
?size:int -> Random.State.t -> Reins.Maps.MonoMapSig.t
end
module type MonoMapSigFn =
functor (K : Types.Mono.Comparable) (V : Types.Mono.Comparable) ->
sig
type t
type key = K.t
type elt = V.t
type cursor
type 'a result
type 'k key_ = key
type 'e elt_ = elt
type ('k, 'e) map = t
type ('a, 'k, 'v) result_ = 'a result
val empty : ('k, 'e) map
val is_empty : ('k, 'e) map -> bool
val mem : 'k key_ -> ('k, 'e) map -> (bool, 'k, 'e) result_
val add : 'k key_ -> 'e elt_ -> ('k, 'e) map -> ('k, 'e) map
val singleton : 'k key_ -> 'e elt_ -> ('k, 'e) map
val remove : 'k key_ -> ('k, 'e) map -> ('k, 'e) map
val find : 'k key_ -> ('k, 'e) map -> ('e elt_, 'k, 'e) result_
val min_key : ('k, 'e) map -> ('k key_, 'k, 'e) result_
val max_key : ('k, 'e) map -> ('k key_, 'k, 'e) result_
val min_keyval : ('k, 'e) map -> ('k key_ * 'e elt_, 'k, 'e) result_
val max_keyval : ('k, 'e) map -> ('k key_ * 'e elt_, 'k, 'e) result_
val cardinal : ('k, 'e) map -> int
val iter : ('k key_ -> 'e elt_ -> unit) -> ('k, 'e) map -> unit
val fold :
('acc -> 'k key_ -> 'e elt_ -> 'acc) ->
'acc -> ('k, 'e) map -> 'acc
val map : ('e elt_ -> 'f elt_) -> ('k, 'e) map -> ('k, 'f) map
val mapi :
('k key_ -> 'e elt_ -> 'f elt_) -> ('k, 'e) map -> ('k, 'f) map
val union :
('k key_ -> 'e elt_ -> 'e elt_ -> 'e elt_) ->
('k, 'e) map -> ('k, 'e) map -> ('k, 'e) map
val inter :
('k key_ -> 'e elt_ -> 'e elt_ -> 'e elt_) ->
('k, 'e) map -> ('k, 'e) map -> ('k, 'e) map
val diff :
('k key_ -> 'e elt_ -> 'e elt_ -> bool) ->
('k, 'e) map -> ('k, 'e) map -> ('k, 'e) map
val well_formed : ('k, 'e) map -> bool
val of_result : ('a, 'k, 'e) result_ -> 'a
type ('k, 'e) cursor_ = cursor
val to_cursor : ('k, 'e) map -> ('k, 'e) cursor_
val from_cursor : ('k, 'e) cursor_ -> ('k, 'e) map
val at_top : ('k, 'e) cursor_ -> bool
val at_left : ('k, 'e) cursor_ -> bool
val at_right : ('k, 'e) cursor_ -> bool
val move_up : ('k, 'e) cursor_ -> ('k, 'e) cursor_
val move_down_left : ('k, 'e) cursor_ -> ('k, 'e) cursor_
val move_down_right : ('k, 'e) cursor_ -> ('k, 'e) cursor_
val went_left : ('k, 'e) cursor_ -> bool
val went_right : ('k, 'e) cursor_ -> bool
val has_value : ('k, 'e) cursor_ -> bool
val get_value : ('k, 'e) cursor_ -> 'k key_ * 'e elt_
val compare_keys : t -> t -> int
val compare : t -> t -> int
val to_string : t -> string
val gen2 :
(?size:int -> Random.State.t -> key) ->
(?size:int -> Random.State.t -> elt) ->
?size:int -> Random.State.t -> t
end
module type MonoMapSigFnStd =
functor (K : Types.Mono.Comparable) (V : Types.Mono.Comparable) ->
sig
type t
type key = K.t
type elt = V.t
type cursor
type 'a result = 'a
type 'k key_ = key
type 'e elt_ = elt
type ('k, 'e) map = t
type ('a, 'k, 'v) result_ = 'a result
val empty : ('k, 'e) map
val is_empty : ('k, 'e) map -> bool
val mem : 'k key_ -> ('k, 'e) map -> (bool, 'k, 'e) result_
val add : 'k key_ -> 'e elt_ -> ('k, 'e) map -> ('k, 'e) map
val singleton : 'k key_ -> 'e elt_ -> ('k, 'e) map
val remove : 'k key_ -> ('k, 'e) map -> ('k, 'e) map
val find : 'k key_ -> ('k, 'e) map -> ('e elt_, 'k, 'e) result_
val min_key : ('k, 'e) map -> ('k key_, 'k, 'e) result_
val max_key : ('k, 'e) map -> ('k key_, 'k, 'e) result_
val min_keyval : ('k, 'e) map -> ('k key_ * 'e elt_, 'k, 'e) result_
val max_keyval : ('k, 'e) map -> ('k key_ * 'e elt_, 'k, 'e) result_
val cardinal : ('k, 'e) map -> int
val iter : ('k key_ -> 'e elt_ -> unit) -> ('k, 'e) map -> unit
val fold :
('acc -> 'k key_ -> 'e elt_ -> 'acc) ->
'acc -> ('k, 'e) map -> 'acc
val map : ('e elt_ -> 'f elt_) -> ('k, 'e) map -> ('k, 'f) map
val mapi :
('k key_ -> 'e elt_ -> 'f elt_) -> ('k, 'e) map -> ('k, 'f) map
val union :
('k key_ -> 'e elt_ -> 'e elt_ -> 'e elt_) ->
('k, 'e) map -> ('k, 'e) map -> ('k, 'e) map
val inter :
('k key_ -> 'e elt_ -> 'e elt_ -> 'e elt_) ->
('k, 'e) map -> ('k, 'e) map -> ('k, 'e) map
val diff :
('k key_ -> 'e elt_ -> 'e elt_ -> bool) ->
('k, 'e) map -> ('k, 'e) map -> ('k, 'e) map
val well_formed : ('k, 'e) map -> bool
val of_result : ('a, 'k, 'e) result_ -> 'a
type ('k, 'e) cursor_ = cursor
val to_cursor : ('k, 'e) map -> ('k, 'e) cursor_
val from_cursor : ('k, 'e) cursor_ -> ('k, 'e) map
val at_top : ('k, 'e) cursor_ -> bool
val at_left : ('k, 'e) cursor_ -> bool
val at_right : ('k, 'e) cursor_ -> bool
val move_up : ('k, 'e) cursor_ -> ('k, 'e) cursor_
val move_down_left : ('k, 'e) cursor_ -> ('k, 'e) cursor_
val move_down_right : ('k, 'e) cursor_ -> ('k, 'e) cursor_
val went_left : ('k, 'e) cursor_ -> bool
val went_right : ('k, 'e) cursor_ -> bool
val has_value : ('k, 'e) cursor_ -> bool
val get_value : ('k, 'e) cursor_ -> 'k key_ * 'e elt_
val compare_keys : t -> t -> int
val compare : t -> t -> int
val to_string : t -> string
val gen2 :
(?size:int -> Random.State.t -> key) ->
(?size:int -> Random.State.t -> elt) ->
?size:int -> Random.State.t -> t
end
module type GenMapSig =
sig
type t
type key
type elt
type cursor
type 'a result
type 'k key_ = key
type 'e elt_ = elt
type ('k, 'e) map = t
type ('a, 'k, 'v) result_ = 'a result
val empty : ('k, 'e) map
val is_empty : ('k, 'e) map -> bool
val mem : 'k key_ -> ('k, 'e) map -> (bool, 'k, 'e) result_
val add : 'k key_ -> 'e elt_ -> ('k, 'e) map -> ('k, 'e) map
val singleton : 'k key_ -> 'e elt_ -> ('k, 'e) map
val remove : 'k key_ -> ('k, 'e) map -> ('k, 'e) map
val find : 'k key_ -> ('k, 'e) map -> ('e elt_, 'k, 'e) result_
val min_key : ('k, 'e) map -> ('k key_, 'k, 'e) result_
val max_key : ('k, 'e) map -> ('k key_, 'k, 'e) result_
val min_keyval : ('k, 'e) map -> ('k key_ * 'e elt_, 'k, 'e) result_
val max_keyval : ('k, 'e) map -> ('k key_ * 'e elt_, 'k, 'e) result_
val cardinal : ('k, 'e) map -> int
val iter : ('k key_ -> 'e elt_ -> unit) -> ('k, 'e) map -> unit
val fold :
('acc -> 'k key_ -> 'e elt_ -> 'acc) -> 'acc -> ('k, 'e) map -> 'acc
val map : ('e elt_ -> 'f elt_) -> ('k, 'e) map -> ('k, 'f) map
val mapi :
('k key_ -> 'e elt_ -> 'f elt_) -> ('k, 'e) map -> ('k, 'f) map
val union :
('k key_ -> 'e elt_ -> 'e elt_ -> 'e elt_) ->
('k, 'e) map -> ('k, 'e) map -> ('k, 'e) map
val inter :
('k key_ -> 'e elt_ -> 'e elt_ -> 'e elt_) ->
('k, 'e) map -> ('k, 'e) map -> ('k, 'e) map
val diff :
('k key_ -> 'e elt_ -> 'e elt_ -> bool) ->
('k, 'e) map -> ('k, 'e) map -> ('k, 'e) map
val well_formed : ('k, 'e) map -> bool
val of_result : ('a, 'k, 'e) result_ -> 'a
type ('k, 'e) cursor_ = cursor
val to_cursor : ('k, 'e) map -> ('k, 'e) cursor_
val from_cursor : ('k, 'e) cursor_ -> ('k, 'e) map
val at_top : ('k, 'e) cursor_ -> bool
val at_left : ('k, 'e) cursor_ -> bool
val at_right : ('k, 'e) cursor_ -> bool
val move_up : ('k, 'e) cursor_ -> ('k, 'e) cursor_
val move_down_left : ('k, 'e) cursor_ -> ('k, 'e) cursor_
val move_down_right : ('k, 'e) cursor_ -> ('k, 'e) cursor_
val went_left : ('k, 'e) cursor_ -> bool
val went_right : ('k, 'e) cursor_ -> bool
val has_value : ('k, 'e) cursor_ -> bool
val get_value : ('k, 'e) cursor_ -> 'k key_ * 'e elt_
val compare_keys : t -> t -> int
val compare : t -> t -> int
val to_string : t -> string
val gen2 :
(?size:int -> Random.State.t -> key) ->
(?size:int -> Random.State.t -> elt) ->
?size:int -> Random.State.t -> t
val gen : ?size:int -> Random.State.t -> t
end
module type GenMapSigFn =
functor
(K : Types.Mono.ArbitraryComparable) (V : Types.Mono.ArbitraryComparable) ->
sig
type t
type key = K.t
type elt = V.t
type cursor
type 'a result
type 'k key_ = key
type 'e elt_ = elt
type ('k, 'e) map = t
type ('a, 'k, 'v) result_ = 'a result
val empty : ('k, 'e) map
val is_empty : ('k, 'e) map -> bool
val mem : 'k key_ -> ('k, 'e) map -> (bool, 'k, 'e) result_
val add : 'k key_ -> 'e elt_ -> ('k, 'e) map -> ('k, 'e) map
val singleton : 'k key_ -> 'e elt_ -> ('k, 'e) map
val remove : 'k key_ -> ('k, 'e) map -> ('k, 'e) map
val find : 'k key_ -> ('k, 'e) map -> ('e elt_, 'k, 'e) result_
val min_key : ('k, 'e) map -> ('k key_, 'k, 'e) result_
val max_key : ('k, 'e) map -> ('k key_, 'k, 'e) result_
val min_keyval : ('k, 'e) map -> ('k key_ * 'e elt_, 'k, 'e) result_
val max_keyval : ('k, 'e) map -> ('k key_ * 'e elt_, 'k, 'e) result_
val cardinal : ('k, 'e) map -> int
val iter : ('k key_ -> 'e elt_ -> unit) -> ('k, 'e) map -> unit
val fold :
('acc -> 'k key_ -> 'e elt_ -> 'acc) ->
'acc -> ('k, 'e) map -> 'acc
val map : ('e elt_ -> 'f elt_) -> ('k, 'e) map -> ('k, 'f) map
val mapi :
('k key_ -> 'e elt_ -> 'f elt_) -> ('k, 'e) map -> ('k, 'f) map
val union :
('k key_ -> 'e elt_ -> 'e elt_ -> 'e elt_) ->
('k, 'e) map -> ('k, 'e) map -> ('k, 'e) map
val inter :
('k key_ -> 'e elt_ -> 'e elt_ -> 'e elt_) ->
('k, 'e) map -> ('k, 'e) map -> ('k, 'e) map
val diff :
('k key_ -> 'e elt_ -> 'e elt_ -> bool) ->
('k, 'e) map -> ('k, 'e) map -> ('k, 'e) map
val well_formed : ('k, 'e) map -> bool
val of_result : ('a, 'k, 'e) result_ -> 'a
type ('k, 'e) cursor_ = cursor
val to_cursor : ('k, 'e) map -> ('k, 'e) cursor_
val from_cursor : ('k, 'e) cursor_ -> ('k, 'e) map
val at_top : ('k, 'e) cursor_ -> bool
val at_left : ('k, 'e) cursor_ -> bool
val at_right : ('k, 'e) cursor_ -> bool
val move_up : ('k, 'e) cursor_ -> ('k, 'e) cursor_
val move_down_left : ('k, 'e) cursor_ -> ('k, 'e) cursor_
val move_down_right : ('k, 'e) cursor_ -> ('k, 'e) cursor_
val went_left : ('k, 'e) cursor_ -> bool
val went_right : ('k, 'e) cursor_ -> bool
val has_value : ('k, 'e) cursor_ -> bool
val get_value : ('k, 'e) cursor_ -> 'k key_ * 'e elt_
val compare_keys : t -> t -> int
val compare : t -> t -> int
val to_string : t -> string
val gen2 :
(?size:int -> Random.State.t -> key) ->
(?size:int -> Random.State.t -> elt) ->
?size:int -> Random.State.t -> t
val gen : ?size:int -> Random.State.t -> t
end
module type GenMapSigFnStd =
functor
(K : Types.Mono.ArbitraryComparable) (V : Types.Mono.ArbitraryComparable) ->
sig
type t
type key = K.t
type elt = V.t
type cursor
type 'a result = 'a
type 'k key_ = key
type 'e elt_ = elt
type ('k, 'e) map = t
type ('a, 'k, 'v) result_ = 'a result
val empty : ('k, 'e) map
val is_empty : ('k, 'e) map -> bool
val mem : 'k key_ -> ('k, 'e) map -> (bool, 'k, 'e) result_
val add : 'k key_ -> 'e elt_ -> ('k, 'e) map -> ('k, 'e) map
val singleton : 'k key_ -> 'e elt_ -> ('k, 'e) map
val remove : 'k key_ -> ('k, 'e) map -> ('k, 'e) map
val find : 'k key_ -> ('k, 'e) map -> ('e elt_, 'k, 'e) result_
val min_key : ('k, 'e) map -> ('k key_, 'k, 'e) result_
val max_key : ('k, 'e) map -> ('k key_, 'k, 'e) result_
val min_keyval : ('k, 'e) map -> ('k key_ * 'e elt_, 'k, 'e) result_
val max_keyval : ('k, 'e) map -> ('k key_ * 'e elt_, 'k, 'e) result_
val cardinal : ('k, 'e) map -> int
val iter : ('k key_ -> 'e elt_ -> unit) -> ('k, 'e) map -> unit
val fold :
('acc -> 'k key_ -> 'e elt_ -> 'acc) ->
'acc -> ('k, 'e) map -> 'acc
val map : ('e elt_ -> 'f elt_) -> ('k, 'e) map -> ('k, 'f) map
val mapi :
('k key_ -> 'e elt_ -> 'f elt_) -> ('k, 'e) map -> ('k, 'f) map
val union :
('k key_ -> 'e elt_ -> 'e elt_ -> 'e elt_) ->
('k, 'e) map -> ('k, 'e) map -> ('k, 'e) map
val inter :
('k key_ -> 'e elt_ -> 'e elt_ -> 'e elt_) ->
('k, 'e) map -> ('k, 'e) map -> ('k, 'e) map
val diff :
('k key_ -> 'e elt_ -> 'e elt_ -> bool) ->
('k, 'e) map -> ('k, 'e) map -> ('k, 'e) map
val well_formed : ('k, 'e) map -> bool
val of_result : ('a, 'k, 'e) result_ -> 'a
type ('k, 'e) cursor_ = cursor
val to_cursor : ('k, 'e) map -> ('k, 'e) cursor_
val from_cursor : ('k, 'e) cursor_ -> ('k, 'e) map
val at_top : ('k, 'e) cursor_ -> bool
val at_left : ('k, 'e) cursor_ -> bool
val at_right : ('k, 'e) cursor_ -> bool
val move_up : ('k, 'e) cursor_ -> ('k, 'e) cursor_
val move_down_left : ('k, 'e) cursor_ -> ('k, 'e) cursor_
val move_down_right : ('k, 'e) cursor_ -> ('k, 'e) cursor_
val went_left : ('k, 'e) cursor_ -> bool
val went_right : ('k, 'e) cursor_ -> bool
val has_value : ('k, 'e) cursor_ -> bool
val get_value : ('k, 'e) cursor_ -> 'k key_ * 'e elt_
val compare_keys : t -> t -> int
val compare : t -> t -> int
val to_string : t -> string
val gen2 :
(?size:int -> Random.State.t -> key) ->
(?size:int -> Random.State.t -> elt) ->
?size:int -> Random.State.t -> t
val gen : ?size:int -> Random.State.t -> t
end
end