Module InputParser

module InputParser: sig .. end
Parser for a CSV input file
Author(s): Baoluo Meng, Christoph Sticksel

val read_file : string list -> string -> (StateVar.t * Term.t list) list
Parse a CSV input file