![[ICO]](/autoindex_strapdown/icons/blank.svg){kind=icon}
![[PARENTDIR]](/autoindex_strapdown/icons/glyphicon-circle-arrow-up.svg){kind=icon}
![[TXT]](/autoindex_strapdown/icons/glyphicon-file.svg){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| float_compare.ml | 2021-03-10 09:01 | 2.7K | |
| float_compare.reference | 2021-03-10 09:01 | 816 | |
| float_literals.ml | 2021-03-10 09:01 | 12K | |
| tfloat_hex.ml | 2021-03-10 09:01 | 1.3K | |
| tfloat_hex.reference | 2021-03-10 09:01 | 229 | |
| tfloat_record.ml | 2021-03-10 09:01 | 892 | |
| tfloat_record.reference | 2021-03-10 09:01 | 134 | |
| zero_sized_float_arrays.ml | 2021-03-10 09:01 | 518 | |
| zero_sized_float_arrays.reference | 2021-03-10 09:01 | 0 |