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