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.
<=
Last updated 2 years ago