--- layout: fc_discuss_archives title: Message 5 from Frama-C-discuss on August 2011 ---
Hi all, Does anyone know how I can define a predicate or logic function taking \lambda term as argument in ACSL? An example is the built-in \sum function. But I don't know how to define one myself. I think \lambda term has n-ary function type. So an equivalent question is how to declare n-ary function type in ACSL. -- Best Regards Steven Gong -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20110808/e496e107/attachment.htm>