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