(************************************************************
   reveal.ml		Created      : Fri Sep 13 11:59:34 2002
  			Last modified: Fri Sep 13 12:17:04 2002
  Compile: ocamlopt.opt reveal.ml -o reveal #
  Document: ocamldoc.opt -html -d doc reveal.ml #
   Location: http://www002.upp.so-net.ne.jp/mamewo/reveal.ml #
************************************************************)
(**
  内部では等価な型だよ。
  @author Takashi Masuyama
  @see <http://www002.upp.so-net.ne.jp/mamewo/ml.html> My Web Page
*)

(**
  reveal の引数と返り値は外からみると異なる型であるが、内部では等価。
*)
module SecretBox :
    (sig 
      type t
      val secret : t
      val reveal : t -> string
    end ) =
  struct 
    type t = string
    let secret = "mamewo"
    let reveal x = x
  end