Make.Context
type t = P1.Context.t * P2.Context.t
val level : t -> int
Types for serialization.
val empty_tuple : empty_tuple in_tuple
type 'a in_acc = bool * 'a in_tuple
An accumulator is a set of arguments to nondet, and an accumulated inclusion check.