Arrow Type

A function's type signature, written with the arrow → (e.g. (-> Number Number)), declaring its argument and result types. MeTTa uses arrow types for optional, gradual type-checking of definitions and applications — not to trigger evaluation (that is driven by = rules).

← Back to the Glossary