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

sha256=585297372d7f6cfb830214e9ef22d6d072a39b2a1591ef90f1ee2bcfe144cad3

md5=6bb6a7ba88bf2c7595a0b332921e60b4

A distinguished instance of a module for sets of int elements.

type t = Create(Table.Int_basis).t

The abstract type of a set.

val nil : t

A distinguished empty set.

val empty : t -> bool

Use empty u to test if u is an empty set.

val of_seq : Table.Int_basis.Vector.element Seq.t -> t

Use of_seq s to create a set from the unordered sequence of elements s.

val member : Table.Int_basis.Search.t -> t -> bool

Use member v u to test whether v is a member of u.

module Unsafe : sig ... end

Unsafe interfaces depend on the internal structure of sets.