printLIRI :: LABELED_ONTO_OR_INTPR_REF -> Doc
printLIRI (Labeled n i) = case n of
    Just x -> pretty x <+> colon <+> pretty i
    Nothing -> pretty i

{- |
  specialized printing of 'FIT_ARG's
-}
printLIRI :: LABELED_ONTO_OR_INTPR_REF -> Doc
printLIRI (Labeled n i) = case n of
    Just x -> pretty x <+> colon <+> pretty i
    Nothing -> pretty i

{- |
  specialized printing of 'FIT_ARG's
-}
printLIRI (Labeled n i) = case n of
    Just x -> pretty x <+> colon <+> pretty i
    Nothing -> pretty i

{- |
  specialized printing of 'FIT_ARG's
-}