+ let get_pairs = R.get_list (R.pair id id) in
+ 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]
+ | s, _ -> failwith ("unknown input type: " ^ s)
+ in