constArray function

ConstArray constArray(
  1. Sort sort,
  2. Expr value
)

Implementation

ConstArray constArray(Sort sort, Expr value) =>
    ConstArray(sort, value).declare();