• Top
  • Identifiers

Programid

Fixtype of program IDs.

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

Fields
name — identifier
network — identifier

A program ID consists of a name and a network, both identifiers. Requirements on the network are expressed elsewhere, not in the abstract syntax.

Subtopics

Programid-fix
Fixing function for programid structures.
Programid-equiv
Basic equivalence relation for programid structures.
Make-programid
Basic constructor macro for programid structures.
Programid->network
Get the network field from a programid.
Change-programid
Modifying constructor for programid structures.
Programidp
Recognizer for programid structures.
Programid->name
Get the name field from a programid.