Common typeclasses definitions

Imports

Types

NonVoid* = concept x x isnot void: Non-void type Source Edit
Eq* = concept xy (x == y) is bool: Equality class Source Edit
Ord* = concept xy x is Eq and y is Eq (x < y) is bool (x <= y) is bool: Ordered class Source Edit