def compile_const(v, sig): with ASTContext(v): rng = find_sort(v.sort) if hasattr( v, 'sort') else ivy_logic.default_sort() return add_symbol(v.rep, get_function_sort(sig, v.args, rng))
def compile_const(v,sig): with ASTContext(v): rng = cmpl_sort(v.sort) if hasattr(v,'sort') else ivy_logic.default_sort() return add_symbol(v.rep,get_function_sort(sig,v.args,rng))