diff src/search.sml @ 11:e97c6d335869

Simple elaboration working
author Adam Chlipala <adamc@hcoop.net>
date Fri, 28 Mar 2008 15:20:46 -0400
parents 38bf996e1c2e
children
line wrap: on
line diff
--- a/src/search.sml	Fri Mar 28 13:59:03 2008 -0400
+++ b/src/search.sml	Fri Mar 28 15:20:46 2008 -0400
@@ -37,6 +37,9 @@
 type ('data, 'state, 'abort) mapfolder =
      'data -> 'state -> ('data * 'state, 'abort) result
 
+type ('context, 'data, 'state, 'abort) mapfolderB =
+     'context -> 'data -> 'state -> ('data * 'state, 'abort) result
+
 fun return2 v acc = Continue (v, acc)
 
 fun map (r, f) =