gillian » Gillian » Command_line » Act_console » Make

Module Act_console.Make

Parameters

moduleID : Engine.Init_data.S

modulePC : Command_line.ParserAndCompiler.S with type init_data = ID.t

moduleAbductor : Engine.Abductor.S with type init_data = ID.t and type annot = PC.Annot.t

moduleGil_parsing : Gil_parsing.S with type annot = PC.Annot.t

Signature

val cmds : Command_line__.Console.cmd list