IRTS.JavaScript.PrimOp

type PrimF

type PrimDec

data JsPrimTy

primDB

jsPrimCoerce