• Top

• Files

Importdecl

Fixtype of Leo import declarations.

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

Fields

program — programid

Subtopics

Importdecl-fix

Fixing function for importdecl structures.

Importdecl-equiv

Basic equivalence relation for importdecl structures.

Make-importdecl

Basic constructor macro for importdecl structures.

Importdecl->program

Get the program field from a importdecl.

Change-importdecl

Modifying constructor for importdecl structures.

Importdeclp

Recognizer for importdecl structures.