Call

Js jscore fixpoint

CallF

jscore JsCoreF

Case

Js

Catch

Js

callee

Call CallF

cases

Switch

cat

Try

check

For

coenvPrism

fp

coll

ForIn

cond

If Ternary While

condition

IfF

consequent

IfF

const

Case JsFn

constEqual

fp

constShow

fp

constructor

ObjDecl

coproductEqual

fp

coproductShow

fp

copyAllFields

jscore

ctor

New