intersection_tinstant_tinstant tfloatinst_ranges tfloatinst_to_tintinst tinstant_always_eq tinstant_always_le tinstant_always_lt tinstant_cmp tinstant_copy tinstant_eq tinstant_ever_eq tinstant_ever_le tinstant_ever_lt tinstant_get_time tinstant_hash tinstant_instants tinstant_instants_array tinstant_intersects_period tinstant_intersects_periodset tinstant_intersects_timestamp tinstant_intersects_timestampset tinstant_make tinstant_merge tinstant_merge_array tinstant_period tinstant_read tinstant_restrict_period tinstant_restrict_periodset tinstant_restrict_periodset_test tinstant_restrict_timestamp tinstant_restrict_timestampset tinstant_restrict_timestampset_test tinstant_restrict_value tinstant_restrict_values tinstant_restrict_values_test tinstant_sequences_array tinstant_set tinstant_shift tinstant_timestamps tinstant_to_string tinstant_value tinstant_value_at_timestamp tinstant_value_copy tinstant_value_ptr tinstant_values_array tinstant_write tinstantset_to_tinstant tintinst_to_tfloatinst tnumberinst_restrict_range tnumberinst_restrict_range_test tnumberinst_restrict_ranges tnumberinst_restrict_ranges_test tsequence_to_tinstant tsequenceset_to_tinstant

tinstant_ever_le() bool tinstant_ever_le ( const TInstant *  inst, Datum  value  ) Returns true if the temporal value is ever less than or equal to the base value.