- let get_input_type key =
- match R.get_string key with
- | "gallina8" -> T.Gallina8, ".v"
- | "grafite" -> T.Grafite, ".ma"
+ let get_input_type key1 key2 =
+ match R.get_string key1, R.get_string key2 with
+ | "gallina8", _ -> T.Gallina8, ".v", []
+ | "grafite", "" -> T.Grafite "", ".ma", []
+ | "grafite", s -> T.Grafite s, ".ma", [s]