View.Obl
type t = private {
name : Names.Id.t;
loc : Loc.t option;
status : bool * Evar_kinds.obligation_definition_status;
solved : bool;
}