OblState.View
module Obl : sig ... end
type t = private {
opaque : bool;
remaining : int;
obligations : Obl.t array;
}