A distinguished instance for integer maps.
type 'a t = 'a Create(Int_basis).tThe abstract type of a map.
val nil : 'a tA distinguished empty map.
val empty : 'a t -> boolUse empty m to test if m is an empty map.
val of_seq : (Int_basis.Table.Vector.element * 'a) Seq.t -> 'a tUse of_seq s to make a map by consuming the unordered sequence of domain and co-domain values s.
val member : Int_basis.Table.Search.t -> 'a t -> boolUse member k m to test whether k is in the domain of m.
val search : Int_basis.Table.Search.t -> 'a t -> 'a optionUse search k m to find the co-domain Some v of k in m. Returns None if k is not in the domain of m.
val require : Int_basis.Table.Search.t -> 'a t -> 'aUse require k m to find the co-domain of k in m. Raises Not_found if k is not in the domain of m.
module Unsafe : sig ... endUnsafe interfaces depend on the internal structure of maps.