InputParsertype assignment_lhs = StateVar.t * int listRepresents the lhs of an assignment. For non-array state vars, the index list is empty. For array state vars, the index list indicates which cell of the array must be assigned.
val read_file :
?only_inputs:bool ->
string list ->
string ->
(assignment_lhs * Term.t list) listParse a JSON or CSV input file. The format is determined from the extension.
Parser for a CSV input file
val read_csv_file : string list -> string -> (StateVar.t * Term.t list) listParse a CSV input file
val read_json_file :
?only_inputs:bool ->
string list ->
string ->
(assignment_lhs * Term.t list) listParse a JSON input file