Function puffin::algebra::term::has_payload_to_replace_rec
source ยท pub fn has_payload_to_replace_rec<PT: ProtocolTypes>(
term: &Term<PT>,
include_root: bool,
) -> bool
pub fn has_payload_to_replace_rec<PT: ProtocolTypes>(
term: &Term<PT>,
include_root: bool,
) -> bool