convertRefType :: P -> RefType
convertRefType (P "ref" [bt]) = RefType (convertSequent bt)
convertRefType :: P -> RefType
convertRefType (P "ref" [bt]) = RefType (convertSequent bt)
convertRefType (P "ref" [bt]) = RefType (convertSequent bt)