(script_fname, environment=None, strict=True)
Returns the formula asserted at the end of the given script.
Returns the formula asserted at the end of the given script.
Returns the formula asserted at the end of the given script .
def get_formula_fname(script_fname, environment=None, strict=True):
    """Returns the formula asserted at the end of the given script."""
    with open_(script_fname) as script:
        if strict:
            return get_formula_strict(script, environment)
        else:
            return get_formula(script, environment)
def get_formula_fname ( script_fname , environment = None , strict = True ) : with open_ ( script_fname ) as script : if strict : return get_formula_strict ( script , environment ) else : return get_formula ( script , environment )