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