module type Numeric_S =sig..end
type t
val zero : t
val (+) : t ->
t -> t
val (-) : t ->
t -> t
val ( * ) : t ->
t -> t
val (>=) : t -> t -> bool
val min : t ->
t -> t
val max : t ->
t -> t
val abs : t -> t