human
Here's a good function header given the following:
I wrote the below code

    from sympy import exp, Heaviside, log, expand_complex, Integral, Piecewise
    from sympy.integrals.meijerint import meijerint_inversion, _get_coeff_exp
    t = Dummy('t', real=True)
    def pw_simp(*args):
        '    Simplify    a    piecewise    expression    from    hyperexpand.    '
        if (len(args) != 3):
            return Piecewise(*args)
        arg = args[2].args[0].argument
        (coeff, exponent) = _get_coeff_exp(arg, t)
        e1 = args[0].args[0]
        e2 = args[1].args[0]
        return ((Heaviside(((1 / abs(coeff)) - (t ** exponent))) * e1) + (Heaviside(((t ** exponent) - (1 / abs(coeff)))) * e2))
    try:
        (f, cond) = inverse_mellin_transform(F, s, exp((- t)), (None, oo), needeval=True, noconds=False)
    except IntegralTransformError:
        f = None
    if (f is None):
        f = meijerint_inversion(F, s, t)
        if (f is None):
            raise IntegralTransformError('Inverse    Laplace', f, '')
        if f.is_Piecewise:
            (f, cond) = f.args[0]
            if f.has(Integral):
                raise IntegralTransformError('Inverse    Laplace', f, 'inversion    integral    of    unrecognised    form.')
        else:
            cond = True
        f = f.replace(Piecewise, pw_simp)
    if f.is_Piecewise:
        return (f.subs(t, t_), cond)
    u = Dummy('u')
    def simp_heaviside(arg):
        a = arg.subs(exp((- t)), u)
        if a.has(t):
            return Heaviside(arg)
        rel = _solve_inequality((a > 0), u)
        if (rel.lts == u):
            k = log(rel.gts)
            return Heaviside((t + k))
        else:
            k = log(rel.lts)
            return Heaviside((- (t + k)))
    f = f.replace(Heaviside, simp_heaviside)
    def simp_exp(arg):
        return expand_complex(exp(arg))
    f = f.replace(exp, simp_exp)
    return (_simplify(f.subs(t, t_), simplify), cond)

What's a good function header?
assistant
#Here's a good function header.

@_noconds_(True)
def _inverse_laplace_transform(F, s, t_, plane, simplify=True):