IRTS.JavaScript.PrimOp
type
PrimF
type
PrimDec
data
JsPrimTy
primDB
jsPrimCoerce