U.Util.Term
text :: Ord v => Term (F' text termRef typeRef termLink typeLink vt) v a -> [text] Source #
dependencies :: Ord v => Term (F' text termRef typeRef termLink typeLink vt) v a -> ([termRef], [typeRef], [termLink], [typeLink]) Source #