Conjunction, evaluating both arguments (there is no short-circuiting to
observe: the language is total).
68def stdBoolAnd =
69 (lambda unrestricted left : (family StdBool) .
70 (lambda unrestricted right : (family StdBool) .
71 (eliminate
72 StdBool
73 (lambda unrestricted current : (family StdBool) . (family StdBool))
74 left
75 (branch StdTrue . right)
76 (branch StdFalse . (constructor StdBool StdFalse)))))The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.