- NCic.Const (NReference.Ref (_,NReference.Con _) as ref)
- | NCic.Const (NReference.Ref (_,NReference.Def _) as ref)
- | NCic.Const (NReference.Ref (_,NReference.Decl) as ref)
- | NCic.Const (NReference.Ref (_,NReference.Fix _) as ref)
- | NCic.Const (NReference.Ref (_,NReference.CoFix _) as ref) ->
+ NCic.Const (Ref.Ref (_,Ref.Con _) as ref)
+ | NCic.Const (Ref.Ref (_,Ref.Def _) as ref)
+ | NCic.Const (Ref.Ref (_,Ref.Decl) as ref)
+ | NCic.Const (Ref.Ref (_,Ref.Fix _) as ref)
+ | NCic.Const (Ref.Ref (_,Ref.CoFix _) as ref) ->