kb2623 opened this issue 7 years ago · 0 comments
I would like to have an option to set a constraint as a function. Constraint function should be defined as c(A: Array[Type]) -> Type.
c(A: Array[Type]) -> Type