gillian » Gillian » Debugger » Lifter » Gil_fallback_lifter

Module Lifter.Gil_fallback_lifter

module type Gil_lifter_with_state = Gil_fallback_lifter.Gil_lifter_with_state

A Gil_lifter, along with a function to get its state

module Make
  (SMemory : Monadic.MonadicSMemory.S)
  (PC : Command_line.ParserAndCompiler.S)
  (TLLifter :
    functor (Gil : sig ... end) ->
    functor (V : Verify.Verifier.S with type annot = PC.Annot.t) ->
    sig ... end)
  (V : Verify.Verifier.S with type annot = PC.Annot.t) :
  sig ... end