Expand description
Types Arrows
Every Simplicity expression has two types associated with it: a source and
a target. See the types module for more information. We refer to this
pair of types as an “arrow”, since the expression can be thought of as
mapping a value of the source type to a value of the target type.
This module defines the specific arrows associated with each kind of node.
See the types module above this one for more information.
Structs§
- Arrow
- A container for an expression’s source and target types, whether or not these types are complete.
- Final
Arrow - A container for the type data associated with an expression’s source and target types, if both types are complete.