constArray function

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

Creates a constant array such that all elements are equal to value.

Implementation

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