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