package sd_logic

  1. Overview
  2. Docs

Module Sd_logic.Sd_nodeSource

Sourcetype t = {
  1. logic : Robot_state.t Sd_lang.t;
  2. sds_estimating : Core_kernel.Set.M(Sd_logic.Sd.Packed).t;
}
Sourceval create : Robot_state.t Sd_lang.t -> Core_kernel.Set.M(Sd_logic.Sd.Packed).t -> t
Sourcetype safety =
  1. | Safe
  2. | Warnings
  3. | Unsafe
Sourceexception Missing_sd of string
Sourceexception Extra_sd of string
Sourceval execute : safety:safety -> t -> Rsh.t -> Rs.t