Paths

While templates cannot define their own structures, they may access structures from imported libraries and project SML sources. The syntax for this is identical to the SML syntax, i.e., Posix.FileSys.opendir or valOf. The second example is treated as a path projecting the valOf function from the top-level environment.



Adam Chlipala 2005-02-22