Mavkit_injector.Injector_operation
module Make (O : Injector_sigs.PARAM_OPERATION) : Injector_sigs.INJECTOR_OPERATION with type operation = O.t