Module puffin::algebra::signature

source ·

Structs§

  • Signature
    Records a universe of functions. Signatures are containers for types and function symbols. They hold references to the concrete implementations of functions and the types of variables.

Functions§

Type Aliases§