Top

Input-execution

Funarg

Fixtype of function arguments.

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

Fields

name — identifier
sort — var/const-sort
value — value

A function argument consists of a name, a sort, and a value. It is the dynamic counterpart of a function parameter (see funparam.

Subtopics

Funarg-fix: Fixing function for funarg structures.
Funarg-equiv: Basic equivalence relation for funarg structures.
Make-funarg: Basic constructor macro for funarg structures.
Change-funarg: Modifying constructor for funarg structures.
Funarg->value: Get the value field from a funarg.
Funarg->sort: Get the sort field from a funarg.
Funarg->name: Get the name field from a funarg.
Funargp: Recognizer for funarg structures.