Abductor (gillian.Engine.Abductor)

module type S = sig ... end

module Make
  (SPState : PState.S)
  (PC : 
    Gillian.Command_line.ParserAndCompiler.S
      with type init_data = SPState.init_data)
  (External : Engine.External.T(PC.Annot).S) : 
  S with type annot = PC.Annot.t and type init_data = PC.init_data

module From_scratch
  (SMemory : SMemory.S)
  (PC : 
    Gillian.Command_line.ParserAndCompiler.S
      with type init_data = SMemory.init_data)
  (External : Engine.External.T(PC.Annot).S) : 
  sig ... end