Obj

jscore fixpoint

ObjDecl

Js

ObjF

JsCoreF jscore

Or

jscore

obj

jscore

op

BinOpF UnOpF

operand

UnOp

operator

BinOp UnOp