Module input

Module input 

Source

Structsยง

GkrInputAir
The GkrInputAir handles reading and passing the GkrInput
GkrInputCols
GkrInputRecord
GkrInputTraceGenerator