index
:
lambdacube-compiler.git
master
sigs
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
testdata
/
typesig.reject.out
blob: 20a94f9672da560898eac84a52816417589a6c15 (
plain
)
1
2
focus checkMetas: labEnd \{[32ma[39m}->[47m<<HERE>>[49m [32m\([34ma[32m : V0~'X)->X[39m[K