Previous
Up
Next
Module
Reduce
module
Reduce:
sig
..
end
Reductions, including Beta Reduction
module
Make
(
T
:
TermInner.S
)
:
sig
..
end