Mercurial > urweb

comparison src/elab_env.sig @ 403:8084fa9216de

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
New implicit argument handling
author Adam Chlipala <adamc@hcoop.net>
date Tue, 21 Oct 2008 16:41:11 -0400
parents 2b9dfaffb008
children b77863cd0be2
comparison
equal deleted inserted replaced
402:ebf27030ae3b 403:8084fa9216de
59 val constructors : datatyp -> (string * int * Elab.con option) list 59 val constructors : datatyp -> (string * int * Elab.con option) list
60 60
61 val lookupConstructor : env -> string -> (Elab.datatype_kind * int * string list * Elab.con option * int) option 61 val lookupConstructor : env -> string -> (Elab.datatype_kind * int * string list * Elab.con option * int) option
62 62
63 val pushClass : env -> int -> env 63 val pushClass : env -> int -> env
64 val isClass : env -> Elab.con -> bool
64 val resolveClass : env -> Elab.con -> Elab.exp option 65 val resolveClass : env -> Elab.con -> Elab.exp option
65 66
66 val pushERel : env -> string -> Elab.con -> env 67 val pushERel : env -> string -> Elab.con -> env
67 val lookupERel : env -> int -> string * Elab.con 68 val lookupERel : env -> int -> string * Elab.con
68 69