Module Raw_context.Internal_for_tests

val add_level : t -> int -> t
val add_cycles : t -> int -> t