Sign in Sign up
brintos

brintos / llvm-project-archived public Read only

0
0
Fork 0
Text · 78 B · 97cd37e Raw
4 lines · plain
1domain: "[M] -> { S1[] : M >= 0 }"2child:3  context: "[M] -> { [] : M >= 0 }"4