sig type t val compare : Oc45.Comparable.t -> Oc45.Comparable.t -> int val avg : Oc45.Comparable.t -> Oc45.Comparable.t -> Oc45.Comparable.t end