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

create_static_signature

Type Definitions

FunctionDefinition
StaticSignature