Mercurial > urweb

comparison src/reduce_local.sig @ 1276:5b5c0b552f59

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Another run of Specialize, using ReduceLocal on datatype parameters
author Adam Chlipala <adamc@hcoop.net>
date Sat, 05 Jun 2010 09:42:37 -0400
parents 4a125bbc602d
children
comparison
equal deleted inserted replaced
1275:74150edf1134 1276:5b5c0b552f59
1 (* Copyright (c) 2008, Adam Chlipala 1 (* Copyright (c) 2008-2010, Adam Chlipala
2 * All rights reserved. 2 * All rights reserved.
3 * 3 *
4 * Redistribution and use in source and binary forms, with or without 4 * Redistribution and use in source and binary forms, with or without
5 * modification, are permitted provided that the following conditions are met: 5 * modification, are permitted provided that the following conditions are met:
6 * 6 *
29 29
30 signature REDUCE_LOCAL = sig 30 signature REDUCE_LOCAL = sig
31 31
32 val reduce : Core.file -> Core.file 32 val reduce : Core.file -> Core.file
33 val reduceExp : Core.exp -> Core.exp 33 val reduceExp : Core.exp -> Core.exp
34 val reduceCon : Core.con -> Core.con
34 35
35 end 36 end