Parameter Semiring.3-A

val make : S.t Q.arbitrary