package lustre-v6

You can search for identifiers within the package.

in-package search v0.2.0

package lustre-v6

lustre-v6
- Action
- ActionsDeps
- Ast2lic
- AstCore
- AstInstanciateModel
- AstPredef
- AstRecognizePredef
- AstTab
- AstTabSymbol
- AstV6
- AstV6Dump
- Dbg
- EvalClock
- EvalConst
- EvalType
- FilenameExtras
- FreshName
- IdSolver
- L2lCheckCKeyWord
- L2lCheckKcgKeyWord
- L2lCheckLoops
- L2lCheckMemSafe
- L2lCheckOutputs
- L2lExpandArrays
- L2lExpandEnum
- L2lExpandMetaOp
- L2lExpandNodes
- L2lNoWhenNot
- L2lOptimIte
- L2lRemoveAlias
- L2lRmPoly
- L2lSplit
- L2lWhenOnId
- Lic
  - TopoSortVarInfo
- Lic2soc
- LicDump
- LicEvalClock
- LicEvalConst
- LicEvalType
- LicMetaOp
- LicPrg
- LicTab
- Lv6Compile
- Lv6Id
- Lv6MainArgs
- Lv6Misc
- Lv6Run
- Lv6Verbose
- Lv6errors
- Lv6lexer
- Lv6parser
- Lv6parserUtils
- Lv6util
- Lv6version
- Lxm
- Soc
  - SocMap
- Soc2c
- Soc2cDep
- Soc2cExtern
- Soc2cGenAssign
- Soc2cHeap
- Soc2cIdent
- Soc2cInstances
- Soc2cPredef
- Soc2cStack
- Soc2cUtil
- Soc2yaml
- SocExec
- SocExecDbg
- SocExecEvalPredef
- SocExecValue
- SocNameC
- SocPredef
- SocPredef2cHeap
- SocPredef2cStack
- SocUtils
- SocVar
- SortActions
- SortActionsExpe
- TopoSort
  - Make
    
    PO
  - PartialOrder
  - S
- UnifyClock
- UnifyType

Legend:
Library
Module
Module type
Parameter
Class
Class type

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.

val check_node : Lic.node_exp -> unit

val doit : LicPrg.t -> unit