Skip to main content

Module error

Module error 

Source

Structs§

LocyIncomplete
Diagnostics describing a Locy evaluation that stopped before completing.

Enums§

LocyIncompleteReason
Why a Locy evaluation stopped before reaching its least fixed point.
UniError

Type Aliases§

Result