WhoCites Definitions MarkB generic Sections NuprlLIB Doc

Who Cites pattern1?
pattern1Def < < "a", b > , c, 1 > == < < "a",b > ,c,1 >

Syntax: < < "a", b > , c, 1 > has structure: pattern1(b; c)

About:
pairnatural_numbertoken!abstraction

WhoCites Definitions MarkB generic Sections NuprlLIB Doc