package dolmen_model

  1. Overview
  2. Docs

Module Dolmen_model.AdtSource

Sourceval (<?>) : int -> (('a -> 'a -> int) * 'a * 'a) -> int
Sourceval lexicographic : ('a -> 'a -> int) -> 'a list -> 'a list -> int
Sourceexception Not_a_pattern of T.t
Sourceexception Partial_destructor of C.t * Value.t
Sourcetype t = {
  1. head : C.t;
  2. args : Value.t list;
}
Sourceval print : Format.formatter -> t -> unit
Sourceval compare : t -> t -> int
Sourceval ops : t Value.ops
Sourceval mk : C.t -> Value.t list -> Value.t
Sourceval tester : C.t -> Value.t -> Value.t
Sourceval destructor : C.t -> int -> Value.t -> Value.t
Sourceval builtins : 'a -> C.t -> Value.t option
Sourcetype pat =
  1. | Var of V.t
  2. | Cstr of C.t * T.t list
Sourceval view_pat : T.t -> pat
Sourceval pattern_match : Env.t -> T.t -> Value.t -> Env.t option
Sourceval pattern_match_list : Env.t -> T.t list -> Value.t list -> Env.t option