sig
  module Env : Env.S
  module Meta : sig val t : Ind_ty.t Plugin.t end
  val register : unit -> unit
end