- CicNotationPt.NRefPattern (NReference.reference_of_spec uri spec)
- | CicNotationPt.ApplPattern args ->
- CicNotationPt.ApplPattern (List.map aux args)
- | CicNotationPt.VarPattern _
- | CicNotationPt.ImplicitPattern as pat -> pat
+ NotationPt.NRefPattern (NReference.reference_of_spec uri spec)
+ | NotationPt.ApplPattern args ->
+ NotationPt.ApplPattern (List.map aux args)
+ | NotationPt.VarPattern _
+ | NotationPt.ImplicitPattern as pat -> pat