index
:
lambdacube-compiler.git
master
sigs
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
testdata
/
typesig.reject.out
blob: b00212a99a7e710cd174305ba108c485f010a51a (
plain
)
1
checkMetas inferN: [32m\([34ma[32m : V0~'X)->X[39m[K