Domain.Context
type t = Domain.Context.t
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