Function puffin::algebra::term::remove_fn_prefix

pub(crate) fn remove_fn_prefix(str: &str) -> String