---
layout: fc_discuss_archives
title: Message 19 from Frama-C-discuss on June 2012
---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Frama-c-discuss] Predicate application
- Subject: [Frama-c-discuss] Predicate application
- From: hollas at informatik.htw-dresden.de (Boris Hollas)
- Date: Tue, 26 Jun 2012 18:59:28 +0200
- In-reply-to: <CA+yPOVjb68uG7HF_0SLYEJqu+COQqqiow2on=GEC=LhOD1Lojg@mail.gmail.com>
- References: <1340692800.7584.26.camel@iti27.informatik.htw-dresden.de> <CA+yPOVjb68uG7HF_0SLYEJqu+COQqqiow2on=GEC=LhOD1Lojg@mail.gmail.com>
Hello Virgile,
> This is indeed use for label binders. More precisely, it is an
> association list from label parameters (as appearing in the
I see. Maybe someone can add an ocamldoc comment that an
association list of labels is used.
--
Best regards,
Boris