summaryrefslogtreecommitdiff
path: root/compiler/ValuesUtils.ml
diff options
context:
space:
mode:
authorSon Ho2022-11-09 11:47:21 +0100
committerSon HO2022-11-10 11:35:30 +0100
commitb970183881379ff676b232e47e353e924de8cfdd (patch)
tree60709cf395439d1b53d03fc5bfbcfd4f05552716 /compiler/ValuesUtils.ml
parenta68926f574b23e75fe13ef3a500df7648a3c23d8 (diff)
Update the way function names are handled in Pure
Diffstat (limited to 'compiler/ValuesUtils.ml')
0 files changed, 0 insertions, 0 deletions