Top

Abstract-syntax

Program

Fixtype of programs.

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

Fields

name — identifier
imports — import-list
defs — programdef-list

A program consists of a name, imports, and definitions.

Subtopics

Program-fix: Fixing function for program structures.
Program-equiv: Basic equivalence relation for program structures.
Make-program: Basic constructor macro for program structures.
Program->imports: Get the imports field from a program.
Change-program: Modifying constructor for program structures.
Program->name: Get the name field from a program.
Program->defs: Get the defs field from a program.
Programp: Recognizer for program structures.