Module Eq.V
module I : sig ... endval reflexivity : Bastet.Float.Eq.t -> boolval symmetry : Bastet.Float.Eq.t -> Bastet.Float.Eq.t -> boolval transitivity : Bastet.Float.Eq.t -> Bastet.Float.Eq.t -> Bastet.Float.Eq.t -> bool
Eq.Vmodule I : sig ... endval reflexivity : Bastet.Float.Eq.t -> boolval symmetry : Bastet.Float.Eq.t -> Bastet.Float.Eq.t -> boolval transitivity : Bastet.Float.Eq.t -> Bastet.Float.Eq.t -> Bastet.Float.Eq.t -> bool