(name, arity=0)
return mgr.Type(name=name, arity=arity)
Returns the Type Declaration with the given name (sort declaration).
Returns the Type Declaration with the given name (sort declaration).
Returns the Type Declaration with the given name ( sort declaration ) .
def Type(name, arity=0):
    """Returns the Type Declaration with the given name (sort declaration)."""
    mgr = pysmt.environment.get_env().type_manager
    return mgr.Type(name=name, arity=arity)
def Type ( name , arity = 0 ) : mgr = pysmt . environment . get_env ( ) . type_manager return mgr . Type ( name = name , arity = arity )