packages feed

shuffle-0.1.0.0: src/UHC/Shuffle/CDocCommonAG.ag

-------------------------------------------------------------------------
-- CDoc common stuff
-------------------------------------------------------------------------

-------------------------------------------------------------------------
-- CPos ctxt for CDoc
-------------------------------------------------------------------------

ATTR CDoc [ cpos: CPos | | ]

SEM AGCDocItf
  | AGItf       cdoc        .   cpos        =   CPos emptyFPath 0

SEM CDoc
  | Pos         cdoc        .   cpos        =   @cpos

-------------------------------------------------------------------------
-- nmChMp
-------------------------------------------------------------------------

ATTR AGCDocItf CDoc [ nmChMp: NmChMp | | ]