Module LustreGenNodes

type error_kind =
  1. | RestartUnknownVariable of HString.t
  2. | RestartQuantifiedVariable of HString.t
  3. | RestartPolymorphic
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 ]) Stdlib.result