open list

vm_eval length "α₁"
vm_eval length "α₁ → β₁"
vm_eval length "∀ α : nat → nat, α 0 ≥ 0"
print "------------"
vm_eval utf8_length "α₁"
vm_eval utf8_length "α₁ → β₁"
vm_eval utf8_length "∀ α : nat → nat, α 0 ≥ 0"
