Skip to content

GitLab

Commit 42e0b73f authored by Andrei Paskevich's avatar Andrei Paskevich
Browse files

no need to pass lvl in [tf]_(map|fold)_unsafe

parent f6f708e8
Expand all Hide whitespace changes
Inline Side-by-side
Showing with 139 additions and 246 deletions
src/core/term.ml
View file @ 42e0b73f
This diff is collapsed.
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment