| ShATermConvertible a => ShATermLG a | |
| ShATermLG GlobalAnnos | |
| ShATermLG RTLeaves | |
| ShATermLG RTPointer | |
| ShATermLG ThmTypes | |
| ShATermLG DGEdgeTypeModInc | |
| ShATermLG DGEdgeType | |
| ShATermLG ConsStatus | |
| ShATermLG FreeOrCofree | |
| ShATermLG LinkKind | |
| ShATermLG Scope | |
| ShATermLG ThmLinkStatus | |
| ShATermLG DGRule | |
| ShATermLG ProofBasis | |
| ShATermLG EdgeId | |
| ShATermLG NodeMod | |
| ShATermLG DGNodeType | |
| ShATermLG NodeName | |
| ShATermLG XPathPart | |
| ShATermLG AnyLogic | |
| ShATermLG AnyComorphism | |
| ShATermLG GMorphism | |
| ShATermLG G_morphism | |
| ShATermLG G_sublogics | |
| ShATermLG G_symb_map_items_list | |
| ShATermLG G_symb_items_list | |
| ShATermLG G_symbol | |
| ShATermLG G_sign | |
| ShATermLG G_basic_spec | |
| ShATermLG BasicProof | |
| ShATermLG G_theory | |
| ShATermLG RELATION_REF | |
| ShATermLG TERM_OR_ENTITY_REF | |
| ShATermLG CORRESPONDENCE | |
| ShATermLG LABELED_ONTO_OR_INTPR_REF | |
| ShATermLG Logic_name | |
| ShATermLG Logic_code | |
| ShATermLG LogicDescr | |
| ShATermLG FIT_ARG | |
| ShATermLG G_hiding | |
| ShATermLG G_mapping | |
| ShATermLG MINIMIZATION | |
| ShATermLG APPROXIMATION | |
| ShATermLG RESTRICTION | |
| ShATermLG RENAMING | |
| ShATermLG SPEC | |
| ShATermLG FIT_ARG_UNIT | |
| ShATermLG UNIT_TERM | |
| ShATermLG UNIT_BINDING | |
| ShATermLG UNIT_EXPRESSION | |
| ShATermLG UNIT_REF | |
| ShATermLG REF_SPEC | |
| ShATermLG UNIT_SPEC | |
| ShATermLG UNIT_DECL_DEFN | |
| ShATermLG ARCH_SPEC | |
| ShATermLG ItemNameMap | |
| ShATermLG ALIGN_ARITY | |
| ShATermLG ALIGN_ARITIES | |
| ShATermLG MODULE_TYPE | |
| ShATermLG EQUIV_TYPE | |
| ShATermLG VIEW_TYPE | |
| ShATermLG IMPORTED | |
| ShATermLG PARAMS | |
| ShATermLG GENERICITY | |
| ShATermLG DownloadItems | |
| ShATermLG LIB_ITEM | |
| ShATermLG LIB_DEFN | |
| ShATermLG XLink | |
| ShATermLG XNode | |
| ShATermLG XGraph | |
| ShATermLG DGraph | |
| ShATermLG Diag | |
| ShATermLG DiagLinkLab | |
| ShATermLG DiagNodeLab | |
| ShATermLG RTLinkLab | |
| ShATermLG RTLinkType | |
| ShATermLG RTNodeLab | |
| ShATermLG RTNodeType | |
| ShATermLG HistElem | |
| ShATermLG DGChange | |
| ShATermLG AlignSig | |
| ShATermLG GlobalEntry | |
| ShATermLG BranchSig | |
| ShATermLG RefSig | |
| ShATermLG ImpUnitSigOrSig | |
| ShATermLG UnitSig | |
| ShATermLG ExtViewSig | |
| ShATermLG ExtGenSig | |
| ShATermLG GenSig | |
| ShATermLG DGLinkLab | |
| ShATermLG DGLinkType | |
| ShATermLG DGLinkOrigin | |
| ShATermLG Fitted | |
| ShATermLG DGNodeLab | |
| ShATermLG DGNodeInfo | |
| ShATermLG DGOrigin | |
| ShATermLG MaybeRestricted | |
| ShATermLG Renamed | |
| ShATermLG MaybeNode | |
| ShATermLG NodeSig | |
| ShATermLG a => ShATermLG [a] | |
| ShATermLG a => ShATermLG (Maybe a) | |
| ShATermLG a => ShATermLG (IntMap a) | |
| (Ord a, ShATermLG a) => ShATermLG (Set a) | |
| ShATermLG a => ShATermLG (SizedList a) | |
| ShATermLG a => ShATermLG (ElemWOrd a) | |
| ShATermLG a => ShATermLG (Annoted a) | |
| ShATermLG a => ShATermLG (ThmStatus a) | |
| ShATermLG a => ShATermLG (LinkPath a) | |
| (Ord a, ShATermLG a) => ShATermLG (G_mapofsymbol a) | |
| (Ord a, ShATermLG a) => ShATermLG (G_symbolmap a) | |
| (ShATermLG a, ShATermLG b) => ShATermLG (a, b) | |
| (Ord a, ShATermLG a, ShATermLG b) => ShATermLG (Map a b) | |
| (ShATermLG a, ShATermLG b) => ShATermLG (GrContext a b) | |
| (ShATermLG a, ShATermLG b) => ShATermLG (Gr a b) | |
| (ShATermLG s, ShATermLG a) => ShATermLG (SenAttr s a) | |
| (ShATermLG a, ShATermLG b, ShATermLG c) => ShATermLG (a, b, c) | |