From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 30 Nov 2005 12:17:53 +0000 (+0000)
Subject: nicer (but convertible) types
X-Git-Tag: make_still_working~8064
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=78d6c353f0288a1b3b86aeb43b22a483c34822d9;hp=c307d27343fe48aeeb2e1763a811f8122ac1c0df;p=helm.git

nicer (but convertible) types
---

diff --git a/helm/matita/matitaTypes.mli b/helm/matita/matitaTypes.mli
index 4fa2630de..ebf208b92 100644
--- a/helm/matita/matitaTypes.mli
+++ b/helm/matita/matitaTypes.mli
@@ -70,9 +70,9 @@ val add_moo_content: GrafiteMarshal.ast_command list -> status -> status
 val add_moo_metadata: GrafiteAst.metadata list -> status -> status
 
 val dump_status : status -> unit
-val get_option : status -> StringMap.key -> option_value
-val get_string_option : status -> StringMap.key -> string
-val set_option : status -> StringMap.key -> string -> status
+val get_option : status -> string -> option_value
+val get_string_option : status -> string -> string
+val set_option : status -> string -> string -> status
 
 class type console =
   object