(return_type, param_types)
return mgr.FunctionType(return_type=return_type, param_types=param_types)
Returns Function Type with the given arguments.
Returns Function Type with the given arguments.
Returns Function Type with the given arguments .
def FunctionType(return_type, param_types):
    """Returns Function Type with the given arguments."""
    mgr = pysmt.environment.get_env().type_manager
    return mgr.FunctionType(return_type=return_type, param_types=param_types)
def FunctionType ( return_type , param_types ) : mgr = pysmt . environment . get_env ( ) . type_manager return mgr . FunctionType ( return_type = return_type , param_types = param_types )