This preview shows page 1. Sign up to view the full content.
Unformatted text preview: val fold_lines: (string -> 'a -> 'a) -> 'a -> string -> 'a v (* read_dictionary fname reads the dictionary at fname into a trie *) val read_dictionary: string -> bool Trie.trie...
View Full Document
This note was uploaded on 10/25/2009 for the course CS 3110 at Cornell.