Ejemplos de default_sort en Python

Ejemplo n.º 1

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))

Ejemplo n.º 2

Archivo: ivy_compiler.py Proyecto: odedp/ivy

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))