Commit d88d1bbf authored by POTTIER Francois's avatar POTTIER Francois

Update a comment.

parent 33c29512
......@@ -22,7 +22,8 @@ open EngineTypes
module Make (T : TABLE) = struct
(* This propagates type and exception definitions. *)
(* This propagates type and exception definitions. The function [number],
too, is defined by this [include] declaration. *)
include T
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment