gillian » Gillian » Debugger » Lifter » Gil_lifter

Module Lifter.Gil_lifter

module type S = Gil_lifter.S

module type Make = Gil_lifter.Make

module Make
  (SMemory : Monadic.MonadicSMemory.S)
  (PC : Command_line.ParserAndCompiler.S)
  (Verifier : Verify.Verifier.S with type annot = PC.Annot.t) :
  sig ... end