Index - S
| sabs | Data.AIG.Operations, Data.AIG |
| Sat | Data.AIG.Interface, Data.AIG |
| SatResult | Data.AIG.Interface, Data.AIG |
| SatUnknown | Data.AIG.Interface, Data.AIG |
| sext | Data.AIG.Operations, Data.AIG |
| shl | Data.AIG.Operations, Data.AIG |
| showLit | Data.AIG.Trace |
| signIntCoerce | Data.AIG.Operations, Data.AIG |
| singleton | Data.AIG.Operations, Data.AIG |
| sle | Data.AIG.Operations, Data.AIG |
| slice | Data.AIG.Operations, Data.AIG |
| sliceRev | Data.AIG.Operations, Data.AIG |
| slt | Data.AIG.Operations, Data.AIG |
| smulFull | Data.AIG.Operations, Data.AIG |
| SomeGraph | |
| 1 (Type/Class) | Data.AIG.Interface, Data.AIG |
| 2 (Data Constructor) | Data.AIG.Interface, Data.AIG |
| squot | Data.AIG.Operations, Data.AIG |
| srem | Data.AIG.Operations, Data.AIG |
| sshr | Data.AIG.Operations, Data.AIG |
| sub | Data.AIG.Operations, Data.AIG |
| subC | Data.AIG.Operations, Data.AIG |
| subConst | Data.AIG.Operations, Data.AIG |