Def	as @ bs	[append]	list 1
Def	tr | P	[trace_projection]
Def		[bool]	bool 1
Def	(d)	[sigma]	mb record
Def	Decl	[decl]	mb declaration
Def	Label	[lbl]	mb label
Def	x:A. B(x)	[all]	core
Def	Top	[top]	core
Def	if b t else f fi	[ifthenelse]	bool 1
Def	kind(a)	[kind]	mb record
Def	filter(P;l)	[filter]	mb list 1
Def	ground_ptn(p)	[ground_ptn]	mb basic
Def	b	[assert]	bool 1
Def	Pattern	[ptn]	mb basic
Def	decl_type(d;x)	[decl_type]	mb declaration
Def	1of(t)	[pi1]	core
Def	reduce(f;k;as)	[reduce]	list 1
Def	Default = > body	[case_default]	prog 1
Def	pq	[band]	bool 1
Def	Case ptn_pr( < x, y > ) = > body(x;y) cont	[case_lbl_pair]	mb basic
Def	Case ptn_var(x) = > body(x) cont	[case_ptn_var]	mb basic
Def	Case(value) body	[case]	prog 1
Def	ptn_con(T)	[ptn_con]	mb basic
Def	hd(l)	[hd]	list 1
Def	tl(l)	[tl]	list 1
Def	inl(x) = > body(x) cont	[case_inl]	prog 1
Def	inr(x) = > body(x) cont	[case_inr]	prog 1

About: