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