diff options
Diffstat (limited to 'lib/checks/compose.ml')
| -rw-r--r-- | lib/checks/compose.ml | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/lib/checks/compose.ml b/lib/checks/compose.ml index 4517755..b29c22e 100644 --- a/lib/checks/compose.ml +++ b/lib/checks/compose.ml @@ -41,8 +41,8 @@ module Lazier (E : S.Expression) : end (** Build an expression module with the result from another expression. The - signature of the fuctions is a bit different, as they all receive the - result from the previous evaluated element in argument. *) + signature of the fuctions is a bit different, as they all receive the result + from the previous evaluated element in argument. *) module Expression (E : S.Expression) = struct module type SIG = sig type t @@ -125,3 +125,6 @@ module Expression (E : S.Expression) = struct (t', M.boperator pos op (v' t1, expr1) (v' t2, expr2) (v' t')) end end + +module TypeBuilder = Expression (Get_type) +(** Builder adding the type for the expression *) |