=
let module Disambiguate' = Disambiguate.Make (C) in
let term =
CicTextualParser2.parse_term (Stream.of_string term_as_string)
in
=
let module Disambiguate' = Disambiguate.Make (C) in
let term =
CicTextualParser2.parse_term (Stream.of_string term_as_string)
in