package dolmen_model

  1. Overview
  2. Docs

Module Dolmen_model.ArraySource

Sourceval (<?>) : int -> (('a -> 'a -> int) * 'a * 'a) -> int
Sourcetype base =
  1. | Const of Value.t
  2. | Abstract of E.Term.Const.t
Sourcetype t = {
  1. base : base;
  2. map : Value.t Value.Map.t;
}
Sourceval abstract : E.Term.Const.t -> t
Sourceval print_base : Format.formatter -> base -> unit
Sourceval print_map : Format.formatter -> Value.t Value.Map.t -> unit
Sourceval print : Format.formatter -> t -> unit
Sourceval compare_base : base -> base -> 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 : eval:'a -> 'b -> Dolmen.Std.Expr.Term.Const.t -> Value.t option
OCaml

Innovation. Community. Security.