Next: VOID Up: The Rules Previous: ML Constructors

ATOM

mlsubsection23.25ex plus 1ex minus .2ex1.5ex plus .2ex

* formation universe_intro_atom: rule.

atom_equality: rule.

mlsubsection23.25ex plus 1ex minus .2ex1.5ex plus .2ex

* canonical atom_intro(token): term

rule.

atom_equality_token: rule.

mlsubsection23.25ex plus 1ex minus .2ex1.5ex plus .2ex

* equality atom_eq_equality: rule.

mlsubsection23.25ex plus 1ex minus .2ex1.5ex plus .2ex

* computation atom_eq_computation(where): int

rule.

Richard Eaton
Thu Sep 14 08:45:18 EDT 1995