Index - S
| setLoc | Type.Check.HM.Type, Type.Check.HM |
| Signature | |
| 1 (Type/Class) | Type.Check.HM.Type, Type.Check.HM |
| 2 (Data Constructor) | Type.Check.HM.Type, Type.Check.HM |
| SignatureF | Type.Check.HM.Type, Type.Check.HM |
| sortDeps | Type.Check.HM.Term, Type.Check.HM |
| splitSignature | Type.Check.HM.Type, Type.Check.HM |
| Src | Type.Check.HM.Lang, Type.Check.HM, Type.Check.HM |
| stripSignature | Type.Check.HM.Type, Type.Check.HM |
| Subst | |
| 1 (Type/Class) | Type.Check.HM.Subst |
| 2 (Data Constructor) | Type.Check.HM.Subst |
| SubstOf | Type.Check.HM.Lang, Type.Check.HM |
| SubtypeErr | Type.Check.HM.TypeError, Type.Check.HM |
| subtypeOf | Type.Check.HM.Infer, Type.Check.HM |