• Top

• Files

Funparam

Fixtype of Leo function parameters.

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

Fields

name — identifier

sort — var/const-sort

type — type

A function parameter consists of a name, a sort, and a type.

Subtopics

Funparam-fix

Fixing function for funparam structures.

Funparam-equiv

Basic equivalence relation for funparam structures.

Make-funparam

Basic constructor macro for funparam structures.

Funparamp

Recognizer for funparam structures.

Funparam->name

Get the name field from a funparam.

Change-funparam

Modifying constructor for funparam structures.

Funparam->type

Get the type field from a funparam.

Funparam->sort

Get the sort field from a funparam.