0D-3.st 78 Bytes Raw Blame History Permalink 1 2 3 domain: "[M] -> { S1[] : M >= 0 }" child: context: "[M] -> { [] : M >= 0 }"
