Yi.Verifier.JavaScript
data Error
data Warning
data Report
verify
checkMultipleFuns
checkUnreachable
ttEq
say
isReturn
findFunctions
funName
funBody
nameOf
dropWhile'
dupsBy