Module puffin::algebra::atoms

This module provides an enum for terms. A term can either be a Variable or a Function. This also implements the serializability of terms.

Modules

• fn_container 🔒

Structs

• Function
  A function symbol with fixed arity and fixed types.
• Variable
  A variable symbol with fixed type.