links

The Links Programming Language
IN THIS PACKAGE
val defaults : t
val lookup : string -> t -> int * Operators.Associativity.t
val add : string -> (int * Operators.Associativity.t) -> t -> t