Expr.ArraysEx
Constructors from the smtlib theory of functional arrays with extensionality logic.
https://smtlib.cs.uiowa.edu/theories-ArraysEx.shtml
val select : t -> t -> t
val store : t -> t -> t -> t
val const : Ty.t -> t -> t
const ty v is the constant array of type ty whose value is v at every index.
const ty v
ty
v