Syntax for a module option
1 answer
CharMap.t
is a mapping from char
to 'a
, so it's actually a type 'a Charmap.t
, so you forget to specify a polymorphic argument. Therefore, you must write:
type 'a trie = bool * 'a CharMap.t option
If you want your map to be monomorphic (for example char -> int
), you can simply write:
type trie = bool * int CharMap.t option
+8
source to share