Module puffin::algebra::term

This module providesTerms as well as iterators over them.

Enums

• Term
  A first-order term: either a Variable or an application of an Function.

Traits

• Subterms

Functions

• append 🔒
• remove_fn_prefix 🔒
• remove_prefix 🔒
  tlspuffin::term::op_impl::op_protocol_version -> op_protocol_version alloc::Vec<rustls::msgs::handshake::ServerExtension> -> Vec<rustls::msgs::handshake::ServerExtension>