package rocq-runtime

You can search for identifiers within the package.

in-package search v0.2.0

Module `View.Obl`Source

Sourcetype t = private {

name : Names.Id.t;
loc : Loc.t option;
status : bool * Evar_kinds.obligation_definition_status;
solved : bool;

}