initRuntime | DDC.Core.Salt.Convert |
isAlgDataType | DDC.Core.Salt.Exp, DDC.Core.Salt |
isAllocEffect | DDC.Core.Salt.Exp, DDC.Core.Salt |
isAtomR | DDC.Core.Salt.Exp, DDC.Core.Salt |
isAtomT | DDC.Core.Salt.Exp, DDC.Core.Salt |
isAtomW | DDC.Core.Salt.Exp, DDC.Core.Salt |
isAtomX | DDC.Core.Salt.Exp, DDC.Core.Salt |
isBAnon | DDC.Core.Salt.Exp, DDC.Core.Salt |
isBName | DDC.Core.Salt.Exp, DDC.Core.Salt |
isBNone | DDC.Core.Salt.Exp, DDC.Core.Salt |
isBot | DDC.Core.Salt.Exp, DDC.Core.Salt |
isClosureKind | DDC.Core.Salt.Exp, DDC.Core.Salt |
isConstWitType | DDC.Core.Salt.Exp, DDC.Core.Salt |
isDataKind | DDC.Core.Salt.Exp, DDC.Core.Salt |
isDistinctWitType | DDC.Core.Salt.Exp, DDC.Core.Salt |
isEffectKind | DDC.Core.Salt.Exp, DDC.Core.Salt |
isFunishTCon | DDC.Core.Salt.Exp, DDC.Core.Salt |
isMutableWitType | DDC.Core.Salt.Exp, DDC.Core.Salt |
isPDefault | DDC.Core.Salt.Exp, DDC.Core.Salt |
isReadEffect | DDC.Core.Salt.Exp, DDC.Core.Salt |
isRegionKind | DDC.Core.Salt.Exp, DDC.Core.Salt |
isSomeAllocEffect | DDC.Core.Salt.Exp, DDC.Core.Salt |
isSomeReadEffect | DDC.Core.Salt.Exp, DDC.Core.Salt |
isSomeWriteEffect | DDC.Core.Salt.Exp, DDC.Core.Salt |
isTExists | DDC.Core.Salt.Exp, DDC.Core.Salt |
isTVar | DDC.Core.Salt.Exp, DDC.Core.Salt |
isWitnessKind | DDC.Core.Salt.Exp, DDC.Core.Salt |
isWitnessType | DDC.Core.Salt.Exp, DDC.Core.Salt |
isWriteEffect | DDC.Core.Salt.Exp, DDC.Core.Salt |
isXAbs | DDC.Core.Salt.Exp, DDC.Core.Salt |
isXApp | DDC.Core.Salt.Exp, DDC.Core.Salt |
isXCon | DDC.Core.Salt.Exp, DDC.Core.Salt |
isXLAM | DDC.Core.Salt.Exp, DDC.Core.Salt |
isXLam | DDC.Core.Salt.Exp, DDC.Core.Salt |
isXLet | DDC.Core.Salt.Exp, DDC.Core.Salt |
isXVar | DDC.Core.Salt.Exp, DDC.Core.Salt |