Module Domain.Context

val level : t -> int
val empty_tuple : empty_tuple in_tuple
type 'a in_acc = bool * 'a in_tuple
type (!'a, !'b) result = ('a, 'b) Dba2CodexC.Domain.Context.result =
  1. | Result : bool * 'some in_tuple * (t -> 'some out_tuple -> 'a0 * 'b0 out_tuple) -> ('a0, 'b0) result