Module Dolmen_model.Array

val (<?>) : int -> (('a -> 'a -> int) * 'a * 'a) -> int
module E = Dolmen.Std.Expr
type base =
  1. | Const of Value.t
  2. | Abstract of E.Term.Const.t
type t = {
  1. base : base;
  2. map : Value.t Value.Map.t;
}
val abstract : E.Term.Const.t -> t
val print_base : Format.formatter -> base -> unit
val print_map : Format.formatter -> Value.t Value.Map.t -> unit
val print : Format.formatter -> t -> unit
val compare_base : base -> base -> int
val compare_map : Value.t Value.Map.t -> Value.t Value.Map.t -> int
val compare : t -> t -> int
val ops : t Value.ops
val const : Value.t -> Value.t
val select : Value.t -> Value.Map.key -> Value.t
val store : Value.t -> Value.Map.key -> Value.t -> Value.t
val builtins : eval:'a -> 'b -> Dolmen.Std.Expr.Term.Const.t -> Value.t option