package sd_logic

  1. Overview
  2. Docs
type t = {
  1. logic : Robot_state.t Sd_lang.t;
  2. sds_estimating : Core_kernel.Set.M(Sd.Packed).t;
}
type safety =
  1. | Safe
  2. | Warnings
  3. | Unsafe
exception Missing_sd of string
exception Extra_sd of string
val execute : safety:safety -> t -> Rsh.t -> Rs.t