Injector (transformers.States.Injector)

type 'a injection_hook = string -> 'a -> 'a Gillian.Monadic.Delayed.t

module type Injection = sig ... end

module DummyInject (S : sig ... end) : Injection with type t = S.t

module Make
  (I : Injection)
  (S : MyMonadicSMemory.S with type t = I.t) : 
  sig ... end