| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | - | - | ||||
| internal/ | 04-Jul-2025 | - | 294 | 226 | ||
| FStar_UInt128_Verified.h | D | 04-Jul-2025 | 9.1 KiB | 347 | 298 | |
| FStar_UInt_8_16_32_64.h | D | 04-Jul-2025 | 3 KiB | 108 | 89 | |
| fstar_uint128_struct_endianness.h | D | 04-Jul-2025 | 1.6 KiB | 69 | 45 | |
| lowstar_endianness.h | D | 04-Jul-2025 | 7.6 KiB | 232 | 162 | |
| types.h | D | 04-Jul-2025 | 307 | 15 | 10 |