Binding

The colon symbol : means Exact Definition.

The left arrow symbol <- means Inference Definition.

The left arrow symbol :< means Type Inheritance.

The left double arrow symbol <= means Branch Definition.