Mercurial > urweb

comparison src/elab_env.sig @ 109:813e5a52063d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Remove closure conversion in favor of zany fun with modules, which also replaces 'page'
author Adam Chlipala <adamc@hcoop.net>
date Sun, 13 Jul 2008 10:17:06 -0400
parents 7bab29834cd6
children adc4e42e3adc
comparison
equal deleted inserted replaced
108:f59553dc1b6a 109:813e5a52063d
81 val projectVal : env -> { sgn : Elab.sgn, str : Elab.str, field : string } -> Elab.con option 81 val projectVal : env -> { sgn : Elab.sgn, str : Elab.str, field : string } -> Elab.con option
82 val projectSgn : env -> { sgn : Elab.sgn, str : Elab.str, field : string } -> Elab.sgn option 82 val projectSgn : env -> { sgn : Elab.sgn, str : Elab.str, field : string } -> Elab.sgn option
83 val projectStr : env -> { sgn : Elab.sgn, str : Elab.str, field : string } -> Elab.sgn option 83 val projectStr : env -> { sgn : Elab.sgn, str : Elab.str, field : string } -> Elab.sgn option
84 val projectConstraints : env -> { sgn : Elab.sgn, str : Elab.str } -> (Elab.con * Elab.con) list option 84 val projectConstraints : env -> { sgn : Elab.sgn, str : Elab.str } -> (Elab.con * Elab.con) list option
85 85
86 val newNamed : unit -> int
87
86 end 88 end