Who Cites struct?
struct	Def Structure == TypeTop
	Thm* struct{i:l} Type{i'}
top	Def Top == Void given Void
	Thm* Top Type

Syntax:

Structure

has structure:

struct{i:l}

About: