summaryrefslogtreecommitdiff
path: root/src/OfJsonBasic.ml
diff options
context:
space:
mode:
authorSon Ho2022-01-18 22:47:18 +0100
committerSon Ho2022-01-18 22:47:18 +0100
commit3223123aa5736cfe83168313e501fd4927f107ef (patch)
treedbae4c8f7b59b360d3488e4efc6f7389a7bb3f76 /src/OfJsonBasic.ml
parent280c5b1a7fde56d1d0238b44555de486fc1f563e (diff)
Rename type_is_primitively_copyable to ty_is_...
Diffstat (limited to 'src/OfJsonBasic.ml')
0 files changed, 0 insertions, 0 deletions