package dolmen_model

  1. Overview
  2. Docs

Module Dolmen_model.ArraySource

Sourceval (<?>) : int -> (('a -> 'a -> int) * 'a * 'a) -> int
Sourcetype t = {
  1. base : Value.t option;
  2. map : Value.t Value.Map.t;
}
Sourceval abstract : t
Sourceval print_base : Format.formatter -> Value.t option -> unit
Sourceval print_map : Format.formatter -> Value.t Value.Map.t -> unit
Sourceval print : Format.formatter -> t -> unit
Sourceval compare_base : Value.t option -> Value.t option -> int
Sourceval compare_map : Value.t Value.Map.t -> Value.t Value.Map.t -> int
Sourceval compare : t -> t -> int
Sourceval ops : t Value.ops
Sourceval const : Value.t -> Value.t
Sourceval builtins : 'a -> Dolmen.Std.Expr.Term.Const.t -> Value.t option