.. big_const_prop.adl compile_time_const_fail.adl core_functions.adl evaluate_const_fail.adl leading_zeros.adl loop_bounds_fail.adl prop_array.adl prop_literals.adl prop_struct.adl prop_tuple.adl some_loop_bounds.adl tuples.adl