Mercurial > urweb
comparison src/mono_fm.sig @ 2253:d665925acff8
Factor out [Monoize.Fm] to make it accessible to [Sqlcache].
author | Ziv Scully <ziv@mit.edu> |
---|---|
date | Mon, 21 Sep 2015 14:54:07 -0400 |
parents | |
children |
comparison
equal
deleted
inserted
replaced
2252:e843a04499d4 | 2253:d665925acff8 |
---|---|
1 signature MONO_FM = sig | |
2 type t | |
3 | |
4 type vr = string * int * Mono.typ * Mono.exp * string | |
5 | |
6 datatype foo_kind = | |
7 Attr | |
8 | Url | |
9 | |
10 val empty : int -> t | |
11 | |
12 val lookup : t -> foo_kind -> int -> (int -> t -> vr * t) -> t * int | |
13 val lookupList : t -> foo_kind -> Mono.typ -> (int -> t -> vr * t) -> t * int | |
14 val enter : t -> t | |
15 val decls : t -> Mono.decl list | |
16 | |
17 val freshName : t -> int * t | |
18 | |
19 (* TODO: don't expose raw references if possible. *) | |
20 val nextPvar : int ref | |
21 val postMonoize : t ref | |
22 end |