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