()
return get_env().formula_manager.TRUE()
Returns the Boolean constant TRUE.

    returns: The Boolean constant TRUE
Returns the Boolean constant TRUE.
Returns the Boolean constant TRUE .
def TRUE():
    """Returns the Boolean constant TRUE.

    returns: The Boolean constant TRUE
    """
    return get_env().formula_manager.TRUE()
def TRUE ( ) : return get_env ( ) . formula_manager . TRUE ( )