end
class virtual status :
+ string option ->
object ('self)
inherit NCic.status
method content_pres_db: db
(** fills a term pattern instantiating variable magics *)
val instantiate_level2:
#NCic.status -> NotationEnv.t ->
- Stdpp.location * string option * string option ->
NotationPt.term -> NotationPt.term