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