Type.Numeric
Poor man's type classes for numeric arguments.
type 'a integral =
| Int : int integral
| Int32 : int32 integral
| Int64 : int64 integral
'a integral represents an integral type.
'a integral
type 'a t =
| Int : int t
| Int32 : int32 t
| Int64 : int64 t
| Real : float t
'a t represents a numeric type.
'a t