From 04b328aa9d4b94437342507106f3dca33260204c Mon Sep 17 00:00:00 2001 From: Jacques Garrigue Date: Fri, 19 Mar 2010 03:42:58 +0000 Subject: source git-svn-id: http://caml.inria.fr/svn/ocaml/branches/sigsubst@10205 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 --- testlabl/els.ml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/testlabl/els.ml b/testlabl/els.ml index 6b12197322..fdd292d627 100644 --- a/testlabl/els.ml +++ b/testlabl/els.ml @@ -1,3 +1,6 @@ +(* Adapted from: An Expressive Language of Signatures + by Norman Ramsey, Kathleen Fisher and Paul Govereau *) + module type VALUE = sig type value (* a Lua value *) type state (* the state of a Lua interpreter *) -- cgit v1.2.1