module Float_interval: sig .. end
sig
end
module Make: functor (Float : Float_sig.S) -> Float_interval_sig.S with type float := Float.t and type widen_hints := Float.widen_hints
functor (
Float
:
Float_sig.S
) ->
Float_interval_sig.S
with type float := Float.t and type widen_hints := Float.widen_hints