Who Cites ptn?
ptn	Def Pattern == rec(T.ptn_con(T))
	Thm* Pattern Type
ptn_con	Def ptn_con(T) == Atom++Atom+(TT)
	Thm* T:Type. ptn_con(T) Type

Syntax:

Pattern

has structure:

ptn

About: