Skip to content
Commit fbffe328 authored by Stefan's avatar Stefan
Browse files

* src/debruijn.ml (lctx_view): New function 

(lct_view): New type.
* src/opslexp.ml (lctx_to_subst):
* src/eval.ml (from_lctx): Use it.
parent 84313d0d
Hide whitespace changes
Inline Side-by-side
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