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 -> NotationPt.term -> NotationPt.term
+ #NCic.status -> NotationEnv.t ->
+ NotationPt.term -> NotationPt.term