Mercurial > urweb

comparison src/sql.sig @ 2212:388ba4dc7c96

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Small cleanup.
author Ziv Scully <ziv@mit.edu>
date Mon, 15 Sep 2014 20:01:16 -0400
parents 01c8aceac480
children 365727ff68f4
comparison
equal deleted inserted replaced
2211:ef766ef6e242 2212:388ba4dc7c96
37 | And of prop * prop 37 | And of prop * prop
38 | Or of prop * prop 38 | Or of prop * prop
39 | Reln of reln * exp list 39 | Reln of reln * exp list
40 | Cond of exp * prop 40 | Cond of exp * prop
41 41
42 datatype chunk = 42 type 'a parser
43 String of string
44 | Exp of Mono.exp
45
46 type 'a parser = chunk list -> ('a * chunk list) option
47 43
48 val parse : 'a parser -> Mono.exp -> 'a option 44 val parse : 'a parser -> Mono.exp -> 'a option
49 45
50 datatype Rel = 46 datatype Rel =
51 Exps of exp * exp -> prop 47 Exps of exp * exp -> prop