Nuprl - MarkB_generic Citations of left

Def left_child(t) == Case(t) Case x;y = > x Default = > t

No mentions to report in MarkB_generic.