copilot-core-3.2: An intermediate representation for Copilot.

Index - S

SArrayCopilot.Core.Type, Copilot.Core
SBoolCopilot.Core.Type, Copilot.Core
SDoubleCopilot.Core.Type, Copilot.Core
SFloatCopilot.Core.Type, Copilot.Core
ShowTypeCopilot.Core.Type.Show
showTypeCopilot.Core.Type.Show
ShowWit 
1 (Type/Class)Copilot.Core.Type.Show
2 (Data Constructor)Copilot.Core.Type.Show
showWitCopilot.Core.Type.Show
showWithTypeCopilot.Core.Type.Show
SignCopilot.Core.Operators, Copilot.Core
SimpleTypeCopilot.Core.Type, Copilot.Core
simpleTypeCopilot.Core.Type, Copilot.Core
SinCopilot.Core.Operators, Copilot.Core
SinhCopilot.Core.Operators, Copilot.Core
SInt16Copilot.Core.Type, Copilot.Core
SInt32Copilot.Core.Type, Copilot.Core
SInt64Copilot.Core.Type, Copilot.Core
SInt8Copilot.Core.Type, Copilot.Core
sizeCopilot.Core.Type.Array, Copilot.Core
Spec 
1 (Type/Class)Copilot.Core.Spec, Copilot.Core
2 (Data Constructor)Copilot.Core.Spec, Copilot.Core
specObserversCopilot.Core.Spec, Copilot.Core
specPropertiesCopilot.Core.Spec, Copilot.Core
specStreamsCopilot.Core.Spec, Copilot.Core
specTriggersCopilot.Core.Spec, Copilot.Core
SqrtCopilot.Core.Operators, Copilot.Core
SStructCopilot.Core.Type, Copilot.Core
Stream 
1 (Type/Class)Copilot.Core.Spec, Copilot.Core
2 (Data Constructor)Copilot.Core.Spec, Copilot.Core
streamBufferCopilot.Core.Spec, Copilot.Core
streamExprCopilot.Core.Spec, Copilot.Core
streamExprTypeCopilot.Core.Spec, Copilot.Core
streamIdCopilot.Core.Spec, Copilot.Core
Struct 
1 (Data Constructor)Copilot.Core.Type, Copilot.Core
2 (Type/Class)Copilot.Core.Type, Copilot.Core
SubCopilot.Core.Operators, Copilot.Core
SWord16Copilot.Core.Type, Copilot.Core
SWord32Copilot.Core.Type, Copilot.Core
SWord64Copilot.Core.Type, Copilot.Core
SWord8Copilot.Core.Type, Copilot.Core
symmCopilot.Core.Type.Equality