From 93848e8cf8958aae15799f49f1d185a06df8d07e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ulrich=20Sch=C3=B6pp?= Date: Mon, 26 Mar 2012 15:53:11 +0300 Subject: [PATCH] . --- compile.ml | 2 ++ decls.ml | 2 ++ evaluation.ml | 3 +++ typing.ml | 6 ++---- 4 files changed, 9 insertions(+), 4 deletions(-) diff --git a/compile.ml b/compile.ml index 35ab6c8..b1004ee 100644 --- a/compile.ml +++ b/compile.ml @@ -1,3 +1,5 @@ +(** Compilation to circuits +*) open Term open Unify open Typing diff --git a/decls.ml b/decls.ml index a684199..1421db6 100644 --- a/decls.ml +++ b/decls.ml @@ -1,3 +1,5 @@ +(** Declarations used in toplevel. +*) type decl = | TermDeclW of Term.var * Term.t diff --git a/evaluation.ml b/evaluation.ml index d03d817..95b1c55 100644 --- a/evaluation.ml +++ b/evaluation.ml @@ -1,3 +1,6 @@ +(** Evaluation of working class terms. + * @author schoepp + *) open Term (* evaluation of closed terms *) diff --git a/typing.ml b/typing.ml index 48aeb9b..eec62a5 100644 --- a/typing.ml +++ b/typing.ml @@ -1,7 +1,5 @@ -(** - * Type inference - * - *) +(** Type inference +*) open Term open Term.Location open Type