Parameter Join_Semilattice.2-A

val make : JS.t Q.arbitrary