This preview shows page 1. Sign up to view the full content.
Unformatted text preview: val cursor: 'a trie -> char list -> 'a cursor v (* advance c n returns a new cursor correspoding to the * trie node reached by travelling along n from the current * position *) val advance: 'a cursor -> char -> 'a cursor option v (* getc(c) returns the value stored at the cursor position *) val getc: 'a cursor -> 'a option...
View Full Document
This note was uploaded on 10/25/2009 for the course CS 3110 at Cornell.