Top

Dynamic-semantics

Funinfo

Fixtype of function information.

This is a product type introduced by fty::defprod.

Fields

inputs — identifier-list
outputs — identifier-list
body — block

This is all the information about a function definition, except for its name.

Subtopics

Funinfo-fix: Fixing function for funinfo structures.
Funinfo-equiv: Basic equivalence relation for funinfo structures.
Make-funinfo: Basic constructor macro for funinfo structures.
Funinfop: Recognizer for funinfo structures.
Funinfo->outputs: Get the outputs field from a funinfo.
Funinfo->inputs: Get the inputs field from a funinfo.
Change-funinfo: Modifying constructor for funinfo structures.
Funinfo->body: Get the body field from a funinfo.