Module Domain.Context

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