Top

Abstract-syntax

Import

Fixtype of imports.

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

Fields

program — programid

An import consists of a program ID.

Subtopics

Import-fix: Fixing function for import structures.
Import-equiv: Basic equivalence relation for import structures.
Make-import: Basic constructor macro for import structures.
Import->program: Get the program field from a import.
Change-import: Modifying constructor for import structures.
Importp: Recognizer for import structures.