Module LustreArrayDependencies

type error_kind =
  1. | Unknown of string
  2. | ComplicatedExpr of LustreAst.expr
  3. | Cycle of HString.t list
val error_message : error_kind -> string

Returns an message describing the error kind

type error = [
  1. | `LustreArrayDependencies of Lib.position * error_kind
]
val check_inductive_array_dependencies : TypeCheckerContext.tc_context -> LustreAstDependencies.node_summary -> LustreAst.t -> (unit, [> error ]) Stdlib.result