Parameter Quasigroup.3-A

val make : QG.t Q.arbitrary