Module LustreGenRefTypeImpNodes

module A = LustreAst
module Ctx = TypeCheckerContext
type error_kind =
  1. | EnvRealizabilityCheckModeRefAssumption
val error_message : error_kind -> string
type error = [
  1. | `LustreGenRefTypeImpNodesError of Lib.position * error_kind
]
val gen_imp_nodes : Ctx.tc_context -> A.declaration list -> (A.declaration list * Ctx.tc_context * GI.t NodeId.Map.t, [> error ]) Stdlib.result