Module ListF.Float
module Eq : sig ... endmodule Show : sig ... endmodule Additive : sig ... endmodule Multiplicative : sig ... endmodule Functions : sig ... endListF.Floatmodule Eq : sig ... endmodule Show : sig ... endmodule Additive : sig ... endmodule Multiplicative : sig ... endmodule Functions : sig ... end