Sign in Sign up
brintos

brintos / llvm-project-archived public Read only

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