Module Values.UpdateSafetyLeverStateInputSource

Specifies a state for a safety lever.

Sourcetype nonrec t = {
  1. status : SafetyLeverStatusInput.t;
    (*

    The updated state of the safety lever.

    *)
  2. reason : SafetyLeverStatusReason.t;
    (*

    The reason for updating the state of the safety lever.

    *)
}
Sourceval context_ : string
Sourceval make : status:SafetyLeverStatusInput.t -> reason:SafetyLeverStatusReason.t -> unit -> t
Sourceval to_value : t -> [> `Structure of (string * [> `Enum of string | `String of SafetyLeverStatusReason.t ]) list ]
Sourceval to_query : t -> Awso.Client.Query.t
Sourceval of_xml : Awso.Xml.t -> t
Sourceval of_string : string -> t
Sourceval of_json : Yojson.Safe.t -> t
Sourceval to_json : t -> Yojson.Safe.t