Index - S
| SCEquality | Funcons.EDSL |
| SCInequality | Funcons.EDSL |
| SCIsInSort | Funcons.EDSL |
| SCNotInSort | Funcons.EDSL |
| scope_ | Funcons.Core |
| SCPatternMatch | Funcons.EDSL |
| SeqSortOp | Funcons.EDSL |
| sequential_ | Funcons.Core |
| seq_ | Funcons.Core |
| sets_ | Funcons.Core.Manual, Funcons.Core |
| sets_to_multiset | Funcons.Core.Manual, Funcons.Core |
| set_ | |
| 1 (Function) | Funcons.EDSL |
| 2 (Function) | Funcons.Core.Manual, Funcons.Core |
| set_difference_ | Funcons.Core.Manual, Funcons.Core |
| set_elements_ | Funcons.Core.Manual, Funcons.Core |
| set_empty_ | Funcons.Core.Manual, Funcons.Core |
| set_forward_links_ | Funcons.Core |
| set_insert_ | Funcons.Core.Manual, Funcons.Core |
| set_intersect_ | Funcons.Core.Manual, Funcons.Core |
| set_link_ | Funcons.Core |
| set_size_ | Funcons.Core.Manual, Funcons.Core |
| set_unite_ | Funcons.Core.Manual, Funcons.Core |
| showFuncons | Funcons.EDSL |
| showFunconsSeq | Funcons.EDSL |
| showOp | Funcons.EDSL |
| showTerms | Funcons.EDSL |
| showTypes | Funcons.EDSL |
| showValues | Funcons.EDSL |
| showValuesSeq | Funcons.EDSL |
| show_counts | Funcons.RunOptions |
| show_mutable | Funcons.RunOptions |
| show_output_only | Funcons.RunOptions |
| show_result | Funcons.RunOptions |
| show_tests | Funcons.RunOptions |
| SideCondFail | Funcons.ValueOperations |
| SideCondition | Funcons.EDSL |
| sideCondition | Funcons.EDSL |
| signal_ | Funcons.Core |
| signed_bits_maximum | Funcons.Core.Manual, Funcons.Core |
| signed_bits_minimum | Funcons.Core.Manual, Funcons.Core |
| signed_bit_vector_maximum_ | Funcons.Core |
| signed_bit_vector_minimum_ | Funcons.Core |
| single_quote_ | Funcons.Core |
| some_element_ | Funcons.Core.Manual, Funcons.Core |
| SortErr | Funcons.ValueOperations |
| sortErr | Funcons.EDSL |
| StarOp | Funcons.EDSL |
| stepAbrupt | Funcons.Core |
| stepAbstraction | Funcons.Core |
| stepAbstractions | Funcons.Core |
| stepAccumulate | Funcons.Core |
| stepAllocate_initialised_variable | Funcons.Core |
| stepAllocate_variable | Funcons.Core |
| stepAnd | Funcons.Core |
| stepApply | Funcons.Core |
| stepAscii_character | Funcons.Core |
| stepAscii_points | Funcons.Core |
| stepAssign | Funcons.Core |
| stepAssigned | Funcons.Core |
| stepBackslash | Funcons.Core |
| stepBackspace | Funcons.Core |
| stepBinary128 | Funcons.Core |
| stepBinary32 | Funcons.Core |
| stepBinary64 | Funcons.Core |
| stepBind_recursively | Funcons.Core |
| stepBind_to_forward_links | Funcons.Core |
| stepBind_value | Funcons.Core |
| stepBits | Funcons.Core |
| stepBits_And | Funcons.Core.Manual, Funcons.Core |
| stepBits_Arithmetic_Shift_Right | Funcons.Core.Manual, Funcons.Core |
| stepBits_Logical_Shift_Right | Funcons.Core.Manual, Funcons.Core |
| stepBits_Not | Funcons.Core.Manual, Funcons.Core |
| stepBits_Or | Funcons.Core.Manual, Funcons.Core |
| stepBits_Shift_Left | Funcons.Core.Manual, Funcons.Core |
| stepBits_To_Integer | Funcons.Core.Manual, Funcons.Core |
| stepBits_To_Natural | Funcons.Core.Manual, Funcons.Core |
| stepBits_Xor | Funcons.Core.Manual, Funcons.Core |
| stepBit_vector | Funcons.Core |
| stepBit_vectors | Funcons.Core |
| stepBooleans | Funcons.Core |
| stepBounded_integers | Funcons.Core |
| stepBound_directly | Funcons.Core |
| stepBound_value | Funcons.Core |
| stepBreak | Funcons.Core |
| stepBreaking | Funcons.Core |
| stepBroken | Funcons.Core |
| stepBytes | Funcons.Core |
| stepCarriage_return | Funcons.Core |
| stepCase_match | Funcons.Core |
| stepCase_match_loosely | Funcons.Core |
| stepCase_variant_value | Funcons.Core |
| stepCast_to_type | Funcons.Core |
| stepCatch_else_throw | Funcons.Core |
| stepCheck_true | Funcons.Core |
| stepChoice | Funcons.Core |
| stepClosed | Funcons.Core |
| stepClosure | Funcons.Core |
| stepCollateral | Funcons.Core |
| stepCompose | Funcons.Core |
| stepContinuation | Funcons.Core |
| stepContinuations | Funcons.Core |
| stepContinue | Funcons.Core |
| stepContinued | Funcons.Core |
| stepContinuing | Funcons.Core |
| stepControl | Funcons.Core |
| stepCurrent_value | Funcons.Core |
| stepCurry | Funcons.Core |
| stepDatatype_value_elements | Funcons.Core |
| stepDatatype_value_id | Funcons.Core |
| stepDecimal128 | Funcons.Core |
| stepDecimal64 | Funcons.Core |
| stepDefined | Funcons.Core |
| stepDelimit_continuations | Funcons.Core |
| stepDereference | Funcons.Core |
| stepDirected_graphs | Funcons.Core |
| stepDouble_quote | Funcons.Core |
| stepDo_while_true | Funcons.Core |
| stepEffect | Funcons.Core |
| stepElse | Funcons.Core |
| stepElse_choice | Funcons.Core |
| stepEnact | Funcons.Core |
| stepEnvironments | Funcons.Core |
| stepExclusive_or | Funcons.Core |
| stepFail | Funcons.Core |
| stepFailed | Funcons.Core |
| stepFailing | Funcons.Core |
| stepFalse | Funcons.Core |
| stepFinalise_abrupting | Funcons.Core |
| stepFinalise_breaking | Funcons.Core |
| stepFinalise_continuing | Funcons.Core |
| stepFinalise_failing | Funcons.Core |
| stepFinalise_returning | Funcons.Core |
| stepFinalise_throwing | Funcons.Core |
| stepFinally | Funcons.Core |
| stepFloat_formats | Funcons.Core |
| stepFold_left | Funcons.Core |
| stepFold_right | Funcons.Core |
| stepFollow_if_link | Funcons.Core |
| stepFollow_link | Funcons.Core |
| stepForce | Funcons.Core |
| stepForm_feed | Funcons.Core |
| stepFresh_atom | Funcons.Core |
| stepFresh_identifier | Funcons.Core |
| stepFresh_initialised_link | Funcons.Core |
| stepFresh_link | Funcons.Core |
| stepFunction | Funcons.Core |
| stepFunctions | Funcons.Core |
| stepGive | Funcons.Core |
| stepGiven | Funcons.Core |
| stepHandle_abrupt | Funcons.Core |
| stepHandle_break | Funcons.Core |
| stepHandle_continue | Funcons.Core |
| stepHandle_recursively | Funcons.Core |
| stepHandle_return | Funcons.Core |
| stepHandle_thrown | Funcons.Core |
| stepHole | Funcons.Core |
| stepHorizontal_tab | Funcons.Core |
| stepIdentifiers | Funcons.Core |
| stepIdentifier_tagged | Funcons.Core |
| stepIEEE_Float_Absolute_Value | Funcons.Core.Manual, Funcons.Core |
| stepIEEE_Float_Acos | Funcons.Core.Manual, Funcons.Core |
| stepIEEE_Float_Add | Funcons.Core.Manual, Funcons.Core |
| stepIEEE_Float_Asin | Funcons.Core.Manual, Funcons.Core |
| stepIEEE_Float_Atan | Funcons.Core.Manual, Funcons.Core |
| stepIEEE_Float_Atan2 | Funcons.Core.Manual, Funcons.Core |
| stepIEEE_Float_Ceiling | Funcons.Core.Manual, Funcons.Core |
| stepIEEE_Float_Cos | Funcons.Core.Manual, Funcons.Core |
| stepIEEE_Float_Cosh | Funcons.Core.Manual, Funcons.Core |
| stepIEEE_Float_Divide | Funcons.Core.Manual, Funcons.Core |
| stepIEEE_Float_Exp | Funcons.Core.Manual, Funcons.Core |
| stepIEEE_Float_Floor | Funcons.Core.Manual, Funcons.Core |
| stepIEEE_Float_Is_Greater | Funcons.Core.Manual, Funcons.Core |
| stepIEEE_Float_Is_Greater_Or_Equal | Funcons.Core.Manual, Funcons.Core |
| stepIEEE_Float_Is_Less | Funcons.Core.Manual, Funcons.Core |
| stepIEEE_Float_Is_Less_Or_Equal | Funcons.Core.Manual, Funcons.Core |
| stepIEEE_Float_Log | Funcons.Core.Manual, Funcons.Core |
| stepIEEE_Float_Log10 | Funcons.Core.Manual, Funcons.Core |
| stepIEEE_Float_Multiply | Funcons.Core.Manual, Funcons.Core |
| stepIEEE_Float_Negate | Funcons.Core.Manual, Funcons.Core |
| stepIEEE_Float_Power | Funcons.Core.Manual, Funcons.Core |
| stepIEEE_Float_Remainder | Funcons.Core.Manual, Funcons.Core |
| stepIEEE_Float_Sin | Funcons.Core.Manual, Funcons.Core |
| stepIEEE_Float_Sinh | Funcons.Core.Manual, Funcons.Core |
| stepIEEE_Float_Sqrt | Funcons.Core.Manual, Funcons.Core |
| stepIEEE_Float_Subtract | Funcons.Core.Manual, Funcons.Core |
| stepIEEE_Float_Tan | Funcons.Core.Manual, Funcons.Core |
| stepIEEE_Float_Tanh | Funcons.Core.Manual, Funcons.Core |
| stepIEEE_Float_Truncate | Funcons.Core.Manual, Funcons.Core |
| stepIf_true_else | Funcons.Core |
| stepImplies | Funcons.Core |
| stepInitialise_binding | Funcons.Core |
| stepInitialise_giving | Funcons.Core |
| stepInitialise_linking | Funcons.Core |
| stepInitialise_storing | Funcons.Core |
| stepInitialise_variable | Funcons.Core |
| stepInteger_negate | Funcons.Core |
| stepInteger_sequence | Funcons.Core |
| stepInteger_To_Bits | Funcons.Core.Manual, Funcons.Core |
| stepInterleave | Funcons.Core |
| stepInterleave_filter | Funcons.Core |
| stepInterleave_map | Funcons.Core |
| stepInterleave_repeat | Funcons.Core |
| stepIso_latin_1_points | Funcons.Core |
| stepIsSubMultiset | Funcons.Core.Manual, Funcons.Core |
| stepIs_defined | Funcons.Core |
| stepIs_equal | Funcons.Core |
| stepIs_in_signed_bit_vector | Funcons.Core |
| stepIs_in_type | Funcons.Core |
| stepIs_in_unsigned_bit_vector | Funcons.Core |
| stepLeft_to_right | Funcons.Core |
| stepLeft_to_right_filter | Funcons.Core |
| stepLeft_to_right_map | Funcons.Core |
| stepLeft_to_right_repeat | Funcons.Core |
| stepLine_feed | Funcons.Core |
| stepLink | Funcons.Core |
| stepLinks | Funcons.Core |
| stepList | Funcons.Core |
| stepLists | Funcons.Core |
| stepList_append | Funcons.Core |
| stepList_cons | Funcons.Core |
| stepList_elements | Funcons.Core |
| stepList_head | Funcons.Core |
| stepList_length | Funcons.Core |
| stepList_nil | Funcons.Core |
| stepList_tail | Funcons.Core |
| stepLocations | Funcons.Core |
| stepMatch | Funcons.Core |
| stepMatch_loosely | Funcons.Core |
| stepMultisetDelete | Funcons.Core.Manual, Funcons.Core |
| stepMultisetInsert | Funcons.Core.Manual, Funcons.Core |
| stepMultisetOccurrences | Funcons.Core.Manual, Funcons.Core |
| stepMultisetToSet | Funcons.Core.Manual, Funcons.Core |
| stepNatural_numbers | Funcons.Core |
| stepNegative_integers | Funcons.Core |
| stepNot | Funcons.Core |
| stepNo_given | Funcons.Core |
| stepNull_value | Funcons.Core |
| StepOnValue | Funcons.ValueOperations |
| stepOr | Funcons.Core |
| stepPartial_apply | Funcons.Core |
| stepPattern | Funcons.Core |
| stepPatterns | Funcons.Core |
| stepPattern_any | Funcons.Core |
| stepPattern_bind | Funcons.Core |
| stepPattern_else | Funcons.Core |
| stepPattern_type | Funcons.Core |
| stepPattern_unite | Funcons.Core |
| stepPointers | Funcons.Core |
| stepPositive_integers | Funcons.Core |
| stepPrint | Funcons.Core |
| stepRead | Funcons.Core |
| stepRecord | Funcons.Core |
| stepRecords | Funcons.Core |
| stepRecord_select | Funcons.Core |
| stepRecursive | Funcons.Core |
| stepRecycle_variables | Funcons.Core |
| stepReference | Funcons.Core |
| stepReferences | Funcons.Core |
| stepResume_continuation | Funcons.Core |
| stepReturn | Funcons.Core |
| stepReturned | Funcons.Core |
| stepReturning | Funcons.Core |
| stepRe_close | Funcons.Core |
| stepRight_to_left | Funcons.Core |
| stepRules | Funcons.EDSL |
| stepScope | Funcons.Core |
| stepSeqTo | Funcons.EDSL |
| stepSequential | Funcons.Core |
| stepSetsToMultiset | Funcons.Core.Manual, Funcons.Core |
| stepSet_forward_links | Funcons.Core |
| stepSet_link | Funcons.Core |
| stepSignal | Funcons.Core |
| stepSigned_Bits_Maximum | Funcons.Core.Manual, Funcons.Core |
| stepSigned_Bits_Minimum | Funcons.Core.Manual, Funcons.Core |
| stepSigned_bit_vector_maximum | Funcons.Core |
| stepSigned_bit_vector_minimum | Funcons.Core |
| stepSingle_quote | Funcons.Core |
| stepStores | Funcons.Core |
| stepStore_clear | Funcons.Core |
| stepString | Funcons.Core |
| stepStrings | Funcons.Core |
| stepString_append | Funcons.Core |
| stepStructural_assign | Funcons.Core |
| stepStructural_assigned | Funcons.Core |
| stepStuck | Funcons.Core |
| stepSupply | Funcons.Core |
| stepTermTo | Funcons.EDSL |
| stepThrow | Funcons.Core |
| stepThrowing | Funcons.Core |
| stepThrown | Funcons.Core |
| stepThunk | Funcons.Core |
| stepThunks | Funcons.Core |
| stepTo | Funcons.EDSL |
| stepTrue | Funcons.Core |
| stepTuple | Funcons.Core |
| stepTuples | Funcons.Core |
| stepTuple_elements | Funcons.Core |
| stepTuple_zip | Funcons.Core |
| stepUnbind | Funcons.Core |
| stepUncurry | Funcons.Core |
| stepUnicode_point | Funcons.Core |
| stepUnit_type | Funcons.Core |
| stepUnsigned_bit_vector_maximum | Funcons.Core |
| stepUn_assign | Funcons.Core |
| stepUse_atom_not_in | Funcons.Core |
| stepVariable | Funcons.Core |
| stepVariables | Funcons.Core |
| stepVariant | Funcons.Core |
| stepVariants | Funcons.Core |
| stepVariant_id | Funcons.Core |
| stepVariant_value | Funcons.Core |
| stepVector | Funcons.Core |
| stepVectors | Funcons.Core |
| stepVector_elements | Funcons.Core |
| stepWhile_true | Funcons.Core |
| stepYield | Funcons.Core |
| stepYielding | Funcons.Core |
| stepYield_on_abrupt | Funcons.Core |
| stepYield_on_value | Funcons.Core |
| step_ast | Funcons.MetaProgramming |
| step_code | Funcons.MetaProgramming |
| step_meta_eval | Funcons.MetaProgramming |
| step_ty_of | Funcons.MetaProgramming |
| stores_ | Funcons.Core |
| store_clear_ | Funcons.Core |
| Strict | Funcons.EDSL |
| StrictFuncon | |
| 1 (Type/Class) | Funcons.EDSL |
| 2 (Data Constructor) | Funcons.EDSL |
| Strictness | Funcons.EDSL |
| stringOptions | Funcons.RunOptions |
| stringOptions_ | Funcons.RunOptions |
| strings_ | Funcons.Core |
| string_ | |
| 1 (Function) | Funcons.EDSL |
| 2 (Function) | Funcons.Core |
| string_append_ | Funcons.Core |
| string_inputs | Funcons.RunOptions |
| string__ | Funcons.EDSL |
| structural_assigned_ | Funcons.Core |
| structural_assign_ | Funcons.Core |
| stuck_ | Funcons.Core |
| subsTypeVar | Funcons.EDSL |
| subsTypeVarWildcard | Funcons.EDSL |
| SubTyOf | Funcons.EDSL |
| SuffixComputesFrom | Funcons.GLLParser |
| SuffixPower | Funcons.GLLParser |
| SuffixSeq | Funcons.GLLParser |
| SuffixSortInter | Funcons.GLLParser |
| SuffixSortUnion | Funcons.GLLParser |
| supply_ | Funcons.Core |