Mercurial > urweb
comparison src/core_env.sig @ 192:9bbf4d383381
Parametrized datatypes through corify
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Fri, 08 Aug 2008 10:59:06 -0400 |
parents | 5d030ee143e2 |
children | 8a70e2919e86 |
comparison
equal
deleted
inserted
replaced
191:aa54250f58ac | 192:9bbf4d383381 |
---|---|
40 val lookupCRel : env -> int -> string * Core.kind | 40 val lookupCRel : env -> int -> string * Core.kind |
41 | 41 |
42 val pushCNamed : env -> string -> int -> Core.kind -> Core.con option -> env | 42 val pushCNamed : env -> string -> int -> Core.kind -> Core.con option -> env |
43 val lookupCNamed : env -> int -> string * Core.kind * Core.con option | 43 val lookupCNamed : env -> int -> string * Core.kind * Core.con option |
44 | 44 |
45 val pushDatatype : env -> string -> int -> (string * int * Core.con option) list -> env | 45 val pushDatatype : env -> string -> int -> string list -> (string * int * Core.con option) list -> env |
46 val lookupDatatype : env -> int -> string * (string * int * Core.con option) list | 46 val lookupDatatype : env -> int -> string * string list * (string * int * Core.con option) list |
47 | 47 |
48 val lookupConstructor : env -> int -> string * Core.con option * int | 48 val lookupConstructor : env -> int -> string * string list * Core.con option * int |
49 | 49 |
50 val pushERel : env -> string -> Core.con -> env | 50 val pushERel : env -> string -> Core.con -> env |
51 val lookupERel : env -> int -> string * Core.con | 51 val lookupERel : env -> int -> string * Core.con |
52 | 52 |
53 val pushENamed : env -> string -> int -> Core.con -> Core.exp option -> string -> env | 53 val pushENamed : env -> string -> int -> Core.con -> Core.exp option -> string -> env |