Module Command_line.Act_console
module Make
(ID : Engine.Init_data.S)
(PC : Command_line.ParserAndCompiler.S with type init_data = ID.t)
(Abductor :
Engine.Abductor.S with type init_data = ID.t and type annot = PC.Annot.t)
(Gil_parsing : Gil_parsing.S with type annot = PC.Annot.t) :
sig ... end