package dolmen

  1. Overview
  2. Docs
package dolmen
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Subst.VarSource

Sourcetype 'a key = 'a id

Polymorphic type of keys for the a subtitution

Sourceval get : 'a key -> ('a key, 'b) t -> 'b

get v subst returns the value associated with v in subst, if it exists.

  • raises Not_found

    if there is no binding for v.

Sourceval mem : 'a key -> ('a key, 'b) t -> bool

get v subst returns wether there is a value associated with v in subst.

Sourceval bind : ('a key, 'b) t -> 'a key -> 'b -> ('a key, 'b) t

bind v t subst returns the same substitution as subst with the additional binding from v to t. Erases the previous binding of v if it exists.

Sourceval remove : 'a key -> ('a key, 'b) t -> ('a key, 'b) t

remove v subst returns the same substitution as subst except for v which is unbound in the returned substitution.

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