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 : Engine.SMemory.S)
  (PC : Command_line.ParserAndCompiler.S)
  (Verifier : Engine.Verifier.S with type annot = PC.Annot.t) :
  sig ... end