chickadee » F-operator » h-cases

(h-cases E ((F X) ON-h-EXPR) (V ON-V-EXPR))syntax

Deconstructs the h-datatype E, binding F & X for an evaluation of the ON-h-EXPR and V for an evaluation of the ON-V-EXPR.