The unit type.
#[implicit] let eq : Eq ()
Eq a defines equality (==) on a
Eq a
a
#[implicit] let ord : Ord ()
Ord a defines an ordering on a
Ord a
#[implicit] let show : Show ()
Show a represents a conversion function from a to a readable string.
Show a