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.