Gil_lifter (gillian.Debugger_lifter.Gil

module type S = Gil_lifter.S

module type Make = Gil_lifter.Make

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