package orsetto

You can search for identifiers within the package.

in-package search v0.2.0

A library of assorted structured data interchange languages

Install

dune-project

Dependency

sha256=bb2af4d8b376b2d60fa996bd4d3b90d9f3559455672540f6d7c3598af81d483b

md5=f7bfa83013801b42fcdba607af2f012b

A distinguished instance for integer maps.

type 'a t = 'a Create(Int_basis).t

The abstract type of a map.

val nil : 'a t

A distinguished empty map.

val empty : 'a t -> bool

Use empty m to test if m is an empty map.

val of_seq : (Int_basis.Table.Vector.element * 'a) Seq.t -> 'a t

Use 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 -> bool

Use member k m to test whether k is in the domain of m.

val search : Int_basis.Table.Search.t -> 'a t -> 'a option

Use 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 -> 'a

Use 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 ... end

Unsafe interfaces depend on the internal structure of maps.