module Float_interval_sig: sig .. end
sig
end
type prec = Float_sig.prec
Float_sig.prec
module type S = sig .. end