• Top

• Files

Programdecl

Fixtype of Leo program declarations.

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

Fields

id — programid

items — topdecl-list

Subtopics

Programdecl-fix

Fixing function for programdecl structures.

Programdecl-equiv

Basic equivalence relation for programdecl structures.

Make-programdecl

Basic constructor macro for programdecl structures.

Programdecl->items

Get the items field from a programdecl.

Change-programdecl

Modifying constructor for programdecl structures.

Programdecl->id

Get the id field from a programdecl.

Programdeclp

Recognizer for programdecl structures.