Module Dolmen_model.Adt

val (<?>) : int -> (('a -> 'a -> int) * 'a * 'a) -> int
val lexicographic : ('a -> 'a -> int) -> 'a list -> 'a list -> int
module E = Dolmen.Std.Expr
exception Not_a_pattern of T.t
type t = {
  1. head : C.t;
  2. args : Value.t list;
}
val print : Stdlib.Format.formatter -> t -> unit
val compare : t -> t -> int
val ops : t Value.ops
val mk : C.t -> Value.t list -> Value.t
val eval_tester : C.t -> Value.t -> Value.t
val builtins : eval:(Env.t -> Dolmen_model.Fun.E.Term.t -> Value.t) -> Env.t -> C.t -> Value.t option
type pat =
  1. | Var of V.t
  2. | Cstr of C.t * T.t list
val view_pat : T.t -> pat
val pattern_match : Env.t -> T.t -> Value.t -> Env.t option
val pattern_match_list : Env.t -> T.t list -> Value.t list -> Env.t option