Module puffin::algebra::term

This module providesTermsas 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>