package electrod

  1. Overview
  2. Docs
On This Page
  1. Accessors
package electrod
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Libelectrod.InstanceSource

An instance is a set of relations whose value is a fixed tuple set.

Sourcetype t

Virtually: a map between relation names and sets of tuples.

Sourceval empty : t

Constructor.

Sourceval add : Name.t -> Tuple_set.t -> t -> t

Adds an association to the instance. The name must not be in the instance already.

Sourceval mem : Name.t -> t -> bool

Checks whether a name is already bound in the map.

Accessors

Sourceval get_exn : Name.t -> t -> Tuple_set.t

May raise Not_found. IT MAY BE BETTER TO RETURN AN EXACT SCOPE OR EVEN A RELATION (TO BE DECIDED WHEN INSTANCES ARE USED IN THE TRANSLATION)

Sourceval get : Name.t -> t -> Tuple_set.t option

May rather return None. IT MAY BE BETTER TO RETURN AN EXACT SCOPE OR EVEN A RELATION (TO BE DECIDED WHEN INSTANCES ARE USED IN THE TRANSLATION)

Sourceval to_list : t -> (Name.t * Tuple_set.t) list

Returns the map as an association list. IT MAY BE BETTER TO RETURN AN EXACT SCOPE OR EVEN A RELATION (TO BE DECIDED WHEN INSTANCES ARE USED IN THE TRANSLATION)

include Intf.Print.S with type t := t
Sourceval pp : t Fmtc.t
Sourceval to_string : t -> string
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct