Module Make.Alt
Parameters
A : Bastet.Interface.ALTAA : ARBITRARY_A with type 'a t := 'a A.t and type 'a arbitrary := 'a Q.arbitrary
Signature
module V : sig ... endMake.AltA : Bastet.Interface.ALTAA : ARBITRARY_A with type 'a t := 'a A.t and type 'a arbitrary := 'a Q.arbitrarymodule V : sig ... end