diff options
| author | Son Ho | 2022-01-18 22:47:18 +0100 |
|---|---|---|
| committer | Son Ho | 2022-01-18 22:47:18 +0100 |
| commit | 3223123aa5736cfe83168313e501fd4927f107ef (patch) | |
| tree | dbae4c8f7b59b360d3488e4efc6f7389a7bb3f76 /src/Logging.ml | |
| parent | 280c5b1a7fde56d1d0238b44555de486fc1f563e (diff) | |
Rename type_is_primitively_copyable to ty_is_...
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions