let minus_v : literal = let term = request_func ( Symbol.create_predicate "__-v__" 1, [| request_var v_par |] ) in request_literal false term