Version française
Home     About     Download     Resources     Contact us    
Browse thread
Multiple value declaration in .mli file
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: blue storm <bluestorm.dylc@g...>
Subject: Re: [Caml-list] Multiple value declaration in .mli file
I guess you need it to mirror the value shadowing on the implementation side
:
   include Foo
   let bar = baz

This is legal if Foo already defines bar, and most of the time desired and
useful.
In the interface file you'll want to write :
  include FOO (* Foo's signature *)
  val bar : ...