Mercurial > urweb

comparison src/mono_fm.sig @ 2253:d665925acff8

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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