ConstArray constructor

ConstArray(Sort sort, Expr value)

Implementation

ConstArray(this.sort, this.value);