Mercurial > urweb

comparison src/elab_env.sig @ 211:e86411f647c6

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Initial type class support
author Adam Chlipala <adamc@hcoop.net>
date Sat, 16 Aug 2008 14:32:18 -0400
parents aa54250f58ac
children 2b9dfaffb008
comparison
equal deleted inserted replaced
210:f4033abd6ab1 211:e86411f647c6
58 val datatypeArgs : datatyp -> string list 58 val datatypeArgs : datatyp -> string list
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
64 val resolveClass : env -> Elab.con -> Elab.exp option
65
63 val pushERel : env -> string -> Elab.con -> env 66 val pushERel : env -> string -> Elab.con -> env
64 val lookupERel : env -> int -> string * Elab.con 67 val lookupERel : env -> int -> string * Elab.con
65 68
66 val pushENamed : env -> string -> Elab.con -> env * int 69 val pushENamed : env -> string -> Elab.con -> env * int
67 val pushENamedAs : env -> string -> int -> Elab.con -> env 70 val pushENamedAs : env -> string -> int -> Elab.con -> env