Module type Owl_types_maths_basic.Sig

type elt
val add : elt -> elt -> elt