Mercurial > urweb

comparison src/core_util.sig @ 21:067029c748e9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Beta reductions for expressions
author Adam Chlipala <adamc@hcoop.net>
date Sun, 08 Jun 2008 16:02:26 -0400
parents 1ab48e37d0ef
children bfa2e9ae4df8
comparison
equal deleted inserted replaced
20:1ab48e37d0ef 21:067029c748e9
78 78
79 val map : {kind : Core.kind' -> Core.kind', 79 val map : {kind : Core.kind' -> Core.kind',
80 con : Core.con' -> Core.con', 80 con : Core.con' -> Core.con',
81 exp : Core.exp' -> Core.exp'} 81 exp : Core.exp' -> Core.exp'}
82 -> Core.exp -> Core.exp 82 -> Core.exp -> Core.exp
83 val mapB : {kind : Core.kind' -> Core.kind',
84 con : 'context -> Core.con' -> Core.con',
85 exp : 'context -> Core.exp' -> Core.exp',
86 bind : 'context * binder -> 'context}
87 -> 'context -> (Core.exp -> Core.exp)
83 val exists : {kind : Core.kind' -> bool, 88 val exists : {kind : Core.kind' -> bool,
84 con : Core.con' -> bool, 89 con : Core.con' -> bool,
85 exp : Core.exp' -> bool} -> Core.exp -> bool 90 exp : Core.exp' -> bool} -> Core.exp -> bool
86 end 91 end
87 92