| identifiers_ | Funcons.Core |
| identifier_tagged_ | Funcons.Core |
| id_tagged_ | Funcons.Core |
| IE | Funcons.ValueOperations |
| ieee_float_32_ | Funcons.EDSL |
| ieee_float_64_ | Funcons.EDSL |
| ieee_float_absolute_value | Funcons.Core.Manual, Funcons.Core |
| ieee_float_acos | Funcons.Core.Manual, Funcons.Core |
| ieee_float_add | Funcons.Core.Manual, Funcons.Core |
| ieee_float_add_op | Funcons.Core.Manual, Funcons.Core |
| ieee_float_asin | Funcons.Core.Manual, Funcons.Core |
| ieee_float_atan | Funcons.Core.Manual, Funcons.Core |
| ieee_float_atan2 | Funcons.Core.Manual, Funcons.Core |
| ieee_float_ceiling | Funcons.Core.Manual, Funcons.Core |
| ieee_float_cos | Funcons.Core.Manual, Funcons.Core |
| ieee_float_cosh | Funcons.Core.Manual, Funcons.Core |
| ieee_float_divide | Funcons.Core.Manual, Funcons.Core |
| ieee_float_divide_op | Funcons.Core.Manual, Funcons.Core |
| ieee_float_exp | Funcons.Core.Manual, Funcons.Core |
| ieee_float_float_power | Funcons.Core.Manual, Funcons.Core |
| ieee_float_floor | Funcons.Core.Manual, Funcons.Core |
| ieee_float_is_greater | Funcons.Core.Manual, Funcons.Core |
| ieee_float_is_greater_op | Funcons.Core.Manual, Funcons.Core |
| ieee_float_is_greater_or_equal | Funcons.Core.Manual, Funcons.Core |
| ieee_float_is_greater_or_equal_op | Funcons.Core.Manual, Funcons.Core |
| ieee_float_is_less | Funcons.Core.Manual, Funcons.Core |
| ieee_float_is_less_op | Funcons.Core.Manual, Funcons.Core |
| ieee_float_is_less_or_equal | Funcons.Core.Manual, Funcons.Core |
| ieee_float_is_less_or_equal_op | Funcons.Core.Manual, Funcons.Core |
| ieee_float_log | Funcons.Core.Manual, Funcons.Core |
| ieee_float_log10 | Funcons.Core.Manual, Funcons.Core |
| ieee_float_multiply | Funcons.Core.Manual, Funcons.Core |
| ieee_float_multiply_ | Funcons.Core.Manual, Funcons.Core |
| ieee_float_multiply_op | Funcons.Core.Manual, Funcons.Core |
| ieee_float_negate | Funcons.Core.Manual, Funcons.Core |
| ieee_float_negate_op | Funcons.Core.Manual, Funcons.Core |
| ieee_float_op | Funcons.Core.Manual, Funcons.Core |
| ieee_float_power_op | Funcons.Core.Manual, Funcons.Core |
| ieee_float_remainder | Funcons.Core.Manual, Funcons.Core |
| ieee_float_remainder_op | Funcons.Core.Manual, Funcons.Core |
| ieee_float_sin | Funcons.Core.Manual, Funcons.Core |
| ieee_float_sinh | Funcons.Core.Manual, Funcons.Core |
| ieee_float_sqrt | Funcons.Core.Manual, Funcons.Core |
| ieee_float_subtract | Funcons.Core.Manual, Funcons.Core |
| ieee_float_subtract_op | Funcons.Core.Manual, Funcons.Core |
| ieee_float_tan | Funcons.Core.Manual, Funcons.Core |
| ieee_float_tanh | Funcons.Core.Manual, Funcons.Core |
| ieee_float_truncate | Funcons.Core.Manual, Funcons.Core |
| IException | Funcons.ValueOperations |
| if_else_ | Funcons.Core |
| if_true_else_ | Funcons.Core |
| implies_ | Funcons.Core |
| index_ | Funcons.Core |
| Inherited | Funcons.EDSL |
| initialise_active_thread_set_ | Funcons.Core |
| initialise_binding_ | Funcons.Core |
| initialise_giving_ | Funcons.Core |
| initialise_index_ | Funcons.Core |
| initialise_linking_ | Funcons.Core |
| initialise_memos_ | Funcons.Core |
| initialise_memo_value_ | Funcons.Core |
| initialise_multithreading_ | Funcons.Core |
| initialise_storing_ | Funcons.Core |
| initialise_terminated_thread_map_ | Funcons.Core |
| initialise_thread_map_ | Funcons.Core |
| initialise_thread_schedule_ | Funcons.Core |
| initialise_thread_stepping_ | Funcons.Core |
| initialise_variable_ | Funcons.Core |
| init_ | Funcons.Core |
| init_storing_ | Funcons.Core |
| Input | Funcons.EDSL |
| InputValues | Funcons.RunOptions |
| inputValues | Funcons.RunOptions |
| InsufficientInput | Funcons.ValueOperations |
| InsufficientInputConsumed | Funcons.ValueOperations |
| integers_ | |
| 1 (Function) | Funcons.EDSL |
| 2 (Function) | Funcons.Core.Manual, Funcons.Core |
| integers_from_ | Funcons.Core.Manual, Funcons.Core |
| integers_up_to_ | Funcons.Core.Manual, Funcons.Core |
| integer_absolute_value_ | Funcons.Core.Manual, Funcons.Core |
| integer_add_ | Funcons.Core.Manual, Funcons.Core |
| integer_divide_ | Funcons.Core.Manual, Funcons.Core |
| integer_is_greater_ | Funcons.Core.Manual, Funcons.Core |
| integer_is_greater_or_equal_ | Funcons.Core.Manual, Funcons.Core |
| integer_is_less_ | Funcons.Core.Manual, Funcons.Core |
| integer_is_less_or_equal_ | Funcons.Core.Manual, Funcons.Core |
| integer_list_ | Funcons.Core.Manual, Funcons.Core |
| integer_modulo_ | Funcons.Core.Manual, Funcons.Core |
| integer_mod_ | Funcons.Core.Manual, Funcons.Core |
| integer_multiply_ | Funcons.Core.Manual, Funcons.Core |
| integer_negate_ | Funcons.Core |
| integer_power_ | Funcons.Core.Manual, Funcons.Core |
| integer_power_op | Funcons.Core.Manual, Funcons.Core |
| integer_sequence_ | Funcons.Core |
| integer_subtract_ | Funcons.Core.Manual, Funcons.Core |
| integer_to_bit_vector_ | Funcons.Core.Manual, Funcons.Core |
| interactive_mode | Funcons.RunOptions |
| interleave_ | Funcons.Core |
| interleave_filter_ | Funcons.Core |
| interleave_map_ | Funcons.Core |
| interleave_repeat_ | Funcons.Core |
| Internal | Funcons.ValueOperations |
| intersperse_ | Funcons.Core |
| ints_ | Funcons.Core.Manual, Funcons.Core |
| int_ | Funcons.EDSL, Funcons.Core |
| int_add_ | Funcons.Core.Manual, Funcons.Core |
| int_mod_ | Funcons.Core.Manual, Funcons.Core |
| int_neg_ | Funcons.Core |
| isChar | Funcons.EDSL |
| isIn | Funcons.ValueOperations |
| isInt | Funcons.EDSL |
| isList | Funcons.EDSL |
| isMap | Funcons.EDSL |
| isNat | Funcons.EDSL |
| iso_latin_1_characters_ | Funcons.Core.Manual, Funcons.Core |
| iso_latin_1_points_ | Funcons.Core |
| isString | Funcons.EDSL |
| isString_ | Funcons.EDSL |
| isTup | Funcons.EDSL |
| isType | Funcons.EDSL |
| isVal | Funcons.EDSL |
| isVec | Funcons.EDSL |
| is_ | Funcons.Core |
| is_cyclic_ | Funcons.Core.Manual, Funcons.Core |
| is_equal_ | Funcons.Core |
| is_eq_ | Funcons.Core |
| is_exclusive_lock_holder_ | Funcons.Core |
| is_greater_ | Funcons.Core.Manual, Funcons.Core |
| is_greater_or_equal_ | Funcons.Core.Manual, Funcons.Core |
| is_in_ | Funcons.Core |
| is_in_domain_ | Funcons.Core.Manual, Funcons.Core |
| is_in_set_ | Funcons.Core.Manual, Funcons.Core |
| is_in_signed_bit_vector_ | Funcons.Core |
| is_in_type_ | Funcons.Core |
| is_in_unsigned_bit_vector_ | Funcons.Core |
| is_less_ | Funcons.Core.Manual, Funcons.Core |
| is_less_or_equal_ | Funcons.Core.Manual, Funcons.Core |
| is_map_empty_ | Funcons.Core.Manual, Funcons.Core |
| is_rendezvous_match_ | Funcons.Core |
| is_some_thread_active_ | Funcons.Core |
| is_some_thread_suspended_ | Funcons.Core |
| is_subclass_name_ | Funcons.Core |
| is_submultiset_ | Funcons.Core.Manual, Funcons.Core |
| is_subset_ | Funcons.Core.Manual, Funcons.Core |
| is_sync_feature_ | Funcons.Core |
| is_thread_preemptible_ | Funcons.Core |
| is_thread_terminated_ | Funcons.Core |
| is_value_ | Funcons.Core |
| is_val_ | Funcons.Core |