Mercurial > urweb

comparison src/expl_env.sig @ 1278:cd8d2c73ccf4

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Catch a missed ReduceLocal of field projection annotations
author Adam Chlipala <adamc@hcoop.net>
date Sun, 13 Jun 2010 14:13:06 -0400
parents 354800878b4d
children
comparison
equal deleted inserted replaced
1277:1e6a4f9d3e4a 1278:cd8d2c73ccf4
1 (* Copyright (c) 2008, Adam Chlipala 1 (* Copyright (c) 2008-2010, Adam Chlipala
2 * All rights reserved. 2 * All rights reserved.
3 * 3 *
4 * Redistribution and use in source and binary forms, with or without 4 * Redistribution and use in source and binary forms, with or without
5 * modification, are permitted provided that the following conditions are met: 5 * modification, are permitted provided that the following conditions are met:
6 * 6 *
64 val lookupStrNamed : env -> int -> string * Expl.sgn 64 val lookupStrNamed : env -> int -> string * Expl.sgn
65 65
66 val declBinds : env -> Expl.decl -> env 66 val declBinds : env -> Expl.decl -> env
67 val sgiBinds : env -> Expl.sgn_item -> env 67 val sgiBinds : env -> Expl.sgn_item -> env
68 68
69 val patBinds : env -> Expl.pat -> env
70
69 end 71 end