Module Dolmen_model.Array

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