diff options
Diffstat (limited to 'lib/Eval.mli')
-rw-r--r-- | lib/Eval.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/Eval.mli b/lib/Eval.mli index aaa8977..24fa87d 100644 --- a/lib/Eval.mli +++ b/lib/Eval.mli @@ -1 +1,2 @@ val eval : env:Domain.env -> Syntax.tm -> Domain.value +val inst_clos : Domain.clos -> Domain.value -> Domain.value |