Parameter Functor.2-AA
val make : 'a Q.arbitrary -> 'a F.t Q.arbitraryval make_bound : 'a Q.arbitrary -> 'a F.t Q.arbitrary
Functor.2-AAval make : 'a Q.arbitrary -> 'a F.t Q.arbitraryval make_bound : 'a Q.arbitrary -> 'a F.t Q.arbitrary