Module LustreGenNodes

type error_kind =
  1. | RestartUnknownVariable of HString.t
  2. | RestartQuantifiedVariable of HString.t
  3. | RestartPolymorphic
  4. | RestartMatchScrutinee
  5. | MatchScrutineeQuantifiedVariable of HString.t
  6. | MatchScrutineeQuantifier
  7. | MatchScrutineeInLocalDecl
  8. | MatchScrutineeUnsupported
  9. | TemporalBranchQuantifiedVariable of HString.t
val error_message : error_kind -> string
type error = [
  1. | `LustreGenNodesError of Lib.position * error_kind
]
val is_user_ascription : NodeId.t -> bool
val gen_nodes : TypeCheckerContext.tc_context -> LustreAst.declaration list -> (LustreAst.declaration list * [> error ] option, [> error ]) Stdlib.result