let of_metasenv metasenv =
let goals = List.map (fun (g, _, _) -> g) metasenv in
[ zero_pos goals, [], [], `NoTag ]
let of_metasenv metasenv =
let goals = List.map (fun (g, _, _) -> g) metasenv in
[ zero_pos goals, [], [], `NoTag ]
+
+ let of_nmetasenv metasenv =
+ let goals = List.map (fun (g, _) -> g) metasenv in
+ [ zero_pos goals, [], [], `NoTag ]