val bounding_of_ord :
default_low:'b ->
default_high:'b ->
('a -> 'b) ->
('a -> 'a -> BatOrd.order) ->
('a, 'b) bounding_fval bounding_of_ord_chain :
low:('a -> 'b) ->
high:('a -> 'b) ->
('a -> 'b) ->
('a -> 'a -> BatOrd.order) ->
('a, 'b) bounding_fval saturate_of_ord :
bounds:('a bound_t * 'a bound_t) ->
('a -> 'a -> BatOrd.order) ->
'a ->
'aval opt_of_ord :
bounds:('a bound_t * 'a bound_t) ->
('a -> 'a -> BatOrd.order) ->
'a ->
'a optionmodule type BoundedType = sig ... endmodule type BoundedNumericType = sig ... endmodule type S = sig ... endmodule type NumericSig = sig ... endmodule Make (M : BoundedType) : sig ... endmodule MakeNumeric (M : BoundedNumericType) : sig ... end