+ let get_pairs = R.get_list (R.pair id id) in
+ let get_input_type key =
+ match R.get_string key with
+ | "gallina8" -> T.Gallina8, ".v"
+ | "grafite" -> T.Grafite, ".ma"
+ | _ -> failwith "unknown input type"
+ in
+ let get_output_type key =
+ match R.get_string key with
+ | "procedural" -> T.Procedural
+ | "declarative" -> T.Declarative
+ | _ -> failwith "unknown output type"
+ in