---

Definition: special-fix
special-fix(F) ==  fix(F)

Definition: isint def
if z is an integer then a else b ==  PRIMITIVE

Definition: isinl def
if z is inl then a else b ==  PRIMITIVE

Definition: isinr def
if z is inr then a else b ==  PRIMITIVE

Definition: islambda def
if z is lambda then a otherwise b ==  PRIMITIVE

Definition: isaxiom def
if z = Ax then a otherwise b ==  PRIMITIVE

Definition: ispair def
if z is a pair then a otherwise b ==  PRIMITIVE

Definition: isatom def
if z is an atom then a otherwise b ==  PRIMITIVE

Definition: isatom2
isatom2(z;a;b) ==  PRIMITIVE

Definition: isatom1
isatom1(z;a;b) ==  PRIMITIVE



Home Index