(typename=types.BOOL, template=None)
return get_env().formula_manager.FreshSymbol(typename, template)
Returns a symbol with a fresh name and given type.

    :param typename: Specify the typename
    :param template: Specify the template
    :returns: A symbol with a fresh name and a given type
Returns a symbol with a fresh name and given type.
Returns a symbol with a fresh name and given type .
def FreshSymbol(typename=types.BOOL, template=None):
    """Returns a symbol with a fresh name and given type.

    :param typename: Specify the typename
    :param template: Specify the template
    :returns: A symbol with a fresh name and a given type
    """
    return get_env().formula_manager.FreshSymbol(typename, template)
def FreshSymbol ( typename = types . BOOL , template = None ) : return get_env ( ) . formula_manager . FreshSymbol ( typename , template )