let request_const (symbol: symbol) : term =
if Const.debug then begin
if Symbol.arity symbol != 0 then begin
failwith ("Term.request_const on non-constant symbol: " ^ Symbol.to_string symbol);
end
end;
let new_term =
Const symbol
in
request_term new_term