Plugins.Register_pluginmodule Plugin_spec : Plugin_spec_intfinclude Plugin_spec_intf with type state = Plugin_spec.statetype state = Plugin_spec.stateval sexp_of_state : state -> Ppx_sexp_conv_lib.Sexp.tval init_state : string -> stateval registration : proof_of_registrationval state_id : state Core_kernel.Type_equal.Id.t