Module `Mavkit_injector.Injector_functor`

module Make
  (P : Injector_sigs.PARAMETERS) : 
  Injector_sigs.S
    with type state := P.state
     and type tag := P.Tag.t
     and type operation := P.Operation.t