A.19.CHR:4.3.6 - Implementation export discipline (when cited)
-
Suite MAY cite implementations (CAL/LOG/CHR) as refs, but:
- LOG/CHR do not export Γ,
- CAL exports exactly one Γ,
- imports are acyclic.
Source changed 2026-10-03 10:39:28 UTC · snapshot created 2026-10-03 10:40:04 UTC · last check 2026-10-03 10:55:17 UTC
Suite MAY cite implementations (CAL/LOG/CHR) as refs, but: