Top

Abstract-syntax

System

Fixtype of systems of constraints.

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

Fields

definitions — definition-list
constraints — constraint-list

A system consists of a list of definitions and a list of constraints.

Subtopics

System-fix: Fixing function for system structures.
System-equiv: Basic equivalence relation for system structures.
Make-system: Basic constructor macro for system structures.
System->definitions: Get the definitions field from a system.
System->constraints: Get the constraints field from a system.
Change-system: Modifying constructor for system structures.
Systemp: Recognizer for system structures.