NTComp

fp

Name

jscore

Neg

jscore

Neq

jscore

New

Js jscore fixpoint

NewF

JsCoreF jscore

Not

jscore

Null

Js

Num

Js

name

ObjDecl Select IdentF LetF NewF

natEqual

fp

natShow

fp

num

Js