val mk_elims: NCic.obj -> CicNotationPt.term CicNotationPt.obj list
val mk_projections: NCic.obj -> CicNotationPt.term CicNotationPt.obj list
val mk_elims: NCic.obj -> CicNotationPt.term CicNotationPt.obj list
val mk_projections: NCic.obj -> CicNotationPt.term CicNotationPt.obj list