S is the interface that a jengaroot must provide to jenga. This interface is not used when the rules are statically linked in (see build.mli).
S
module type S : sig ... end
val univ_constr : (module S) Ocaml_plugin.Dynloader.Univ_constr.t