(formula)
return get_env().stc.get_type(formula)
Returns the type of the formula.

    :param formula: The target formula
    :type  formula: FNode
    :returns: The type of the formula
Returns the type of the formula.
Returns the type of the formula .
def get_type(formula):
    """Returns the type of the formula.

    :param formula: The target formula
    :type  formula: FNode
    :returns: The type of the formula
    """
    return get_env().stc.get_type(formula)
def get_type ( formula ) : return get_env ( ) . stc . get_type ( formula )