Mercurial > urweb

comparison src/cjr_env.sig @ 166:a991431b77eb

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Start of unurlify for datatypes
author Adam Chlipala <adamc@hcoop.net>
date Tue, 29 Jul 2008 14:28:44 -0400
parents 813e5a52063d
children 31dfab1d4050
comparison
equal deleted inserted replaced
165:e52dfb1e6b19 166:a991431b77eb
34 exception UnboundRel of int 34 exception UnboundRel of int
35 exception UnboundNamed of int 35 exception UnboundNamed of int
36 exception UnboundF of int 36 exception UnboundF of int
37 exception UnboundStruct of int 37 exception UnboundStruct of int
38 38
39 val pushTNamed : env -> string -> int -> Cjr.typ option -> env 39 val pushDatatype : env -> string -> int -> (string * int * Cjr.typ option) list -> env
40 val lookupTNamed : env -> int -> string * Cjr.typ option 40 val lookupDatatype : env -> int -> string * (string * int * Cjr.typ option) list
41 41
42 val pushERel : env -> string -> Cjr.typ -> env 42 val pushERel : env -> string -> Cjr.typ -> env
43 val lookupERel : env -> int -> string * Cjr.typ 43 val lookupERel : env -> int -> string * Cjr.typ
44 val listERels : env -> (string * Cjr.typ) list 44 val listERels : env -> (string * Cjr.typ) list
45 val countERels : env -> int 45 val countERels : env -> int