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