package lustre-v6

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

Module L2lCheckOutputsSource

Check that each output and each local variable is defined at most and at least once. Also check that one does not try to define an input.

Sourceval check_node : Lic.node_exp -> unit
Sourceval doit : LicPrg.t -> unit
OCaml

Innovation. Community. Security.