package um-abt

You can search for identifiers within the package.

in-package search v0.2.0

um-abt
- Abt
  - Make
    
    Op
    
    Unification
    
    Subst
  - Operator
  - Syntax
    
    Op
    
    Unification
    
    Subst
  - Var
    
    Binding

Legend:
Library
Module
Module type
Parameter
Class
Class type

A binding is an immutable reference, to which a bound can refer.

include Stdlib.Map.OrderedType

type t

val compare : t -> t -> int

val equal : t -> t -> bool

val v : string -> t

binding s is a new binding for variables named s

val name : t -> string