= 1024" x-on:close-sidebar="sidebar=window.innerWidth >= 1024 && true">
package dolmen
-
dolmen
-
dolmen.intf
-
-
dolmen.line
-
dolmen.smtlib2
-
dolmen.std
-
-
dolmen.tptp
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
type 'a key = 'a id
Polymorphic type of keys for the a subtitution
get v subst
returns the value associated with v
in subst
, if it exists.
- raises Not_found
if there is no binding for
v
.
get v subst
returns wether there is a value associated with v
in subst
.
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.