package lustre-v6

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module L2lWhenOnIdSource

Time-stamp: <modified the 31/05/2016 (at 16:58) by Erwan Jahier>

Transforms equations of the form

y = x when Toto(c);

into

x when Toto_c ; Toto_c=Toto(c);

Sourceval doit : LicPrg.t -> LicPrg.t
OCaml

Innovation. Community. Security.