let request_universal_term (term: term) : term =
let mapping =
request_universal_term' term []
in
match mapping with
| [] ->
(* no parametric variables in term *)
term
| _ ->
let mapping =
List.map
(fun (var, term) ->
request_var var, term
)
mapping
in
replace_terms_in_term term mapping