• Top

• Files

Fun-sort

Fixtype of sorts of Leo functions.

This is a tagged union type, introduced by fty::deftagsum.

Member Tags → Types

:standard → fun-sort-standard

:transition → fun-sort-transition

There are currently two sorts (i.e. kinds) of functions: standard and transition.

Subtopics

Fun-sort-case

Case macro for the different kinds of fun-sort structures.

Fun-sort-fix

Fixing function for fun-sort structures.

Fun-sort-equiv

Basic equivalence relation for fun-sort structures.

Fun-sortp

Recognizer for fun-sort structures.

Fun-sort-transition

Fun-sort-standard

Fun-sort-kind

Get the kind (tag) of a fun-sort structure.