Mavkit_injector.Injector_protocol
exception Protocol_not_found
module Make (Parameters : Injector_sigs.PARAMETERS) : sig ... end