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