• Top

• Files

Topdecl

Fixtype of Leo declarations at the top level in a program.

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

Member Tags → Types

:function → topdecl-function

:struct → topdecl-struct

:mapping → topdecl-mapping

These are function/transition, struct/record, and mapping declarations.

Subtopics

Topdecl-case

Case macro for the different kinds of topdecl structures.

Topdecl-fix

Fixing function for topdecl structures.

Topdeclp

Recognizer for topdecl structures.

Topdecl-equiv

Basic equivalence relation for topdecl structures.

Topdecl-struct

Topdecl-mapping

Topdecl-function

Topdecl-kind

Get the kind (tag) of a topdecl structure.