type aname = t
aname becomes an alias for type t. Useful for giving meaningful names:
type date = int*int*int
Think of it like typedef in C++.
type aname = t
aname becomes an alias for type t. Useful for giving meaningful names:
type date = int*int*int
Think of it like typedef in C++.