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