[hobby-coder-guy]

What does “:-“ mean?

[asimpletune]

Probably “such that”