copilot-core-3.12: An intermediate representation for Copilot. (Index - S)

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

A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
V
W
=
All

Index - S

SArray	Copilot.Core.Type, Copilot.Core
SBool	Copilot.Core.Type, Copilot.Core
SDouble	Copilot.Core.Type, Copilot.Core
SFloat	Copilot.Core.Type, Copilot.Core
ShowType	Copilot.Core.Type.Show, Copilot.Core.Interpret.Eval
showType	Copilot.Core.Type.Show
showWithType	Copilot.Core.Type.Show
Sign	Copilot.Core.Operators, Copilot.Core
SimpleType	Copilot.Core.Type, Copilot.Core
simpleType	Copilot.Core.Type, Copilot.Core
Sin	Copilot.Core.Operators, Copilot.Core
Sinh	Copilot.Core.Operators, Copilot.Core
SInt16	Copilot.Core.Type, Copilot.Core
SInt32	Copilot.Core.Type, Copilot.Core
SInt64	Copilot.Core.Type, Copilot.Core
SInt8	Copilot.Core.Type, Copilot.Core
size	Copilot.Core.Type.Array, Copilot.Core
Spec
1 (Type/Class)	Copilot.Core.Spec, Copilot.Core
2 (Data Constructor)	Copilot.Core.Spec, Copilot.Core
specObservers	Copilot.Core.Spec, Copilot.Core
specProperties	Copilot.Core.Spec, Copilot.Core
specStreams	Copilot.Core.Spec, Copilot.Core
specTriggers	Copilot.Core.Spec, Copilot.Core
Sqrt	Copilot.Core.Operators, Copilot.Core
SStruct	Copilot.Core.Type, Copilot.Core
Stream
1 (Type/Class)	Copilot.Core.Spec, Copilot.Core
2 (Data Constructor)	Copilot.Core.Spec, Copilot.Core
streamBuffer	Copilot.Core.Spec, Copilot.Core
streamExpr	Copilot.Core.Spec, Copilot.Core
streamExprType	Copilot.Core.Spec, Copilot.Core
streamId	Copilot.Core.Spec, Copilot.Core
Struct
1 (Data Constructor)	Copilot.Core.Type, Copilot.Core
2 (Type/Class)	Copilot.Core.Type, Copilot.Core
Sub	Copilot.Core.Operators, Copilot.Core
SWord16	Copilot.Core.Type, Copilot.Core
SWord32	Copilot.Core.Type, Copilot.Core
SWord64	Copilot.Core.Type, Copilot.Core
SWord8	Copilot.Core.Type, Copilot.Core
symm	Copilot.Core.Type.Equality