Launch_policy (sarek.Sarek_execute.Launch

module Device = Spoc_core.Device

val target : Device.t -> string

val refusal_text : Window_gate.refusal -> string

val deferred : 
  Sarek_ir_types.kernel ->
  device:Device.t ->
  stream:'a option ->
  soa_params:'b list ->
  bool

val representative : Sarek_policy.decision list -> Sarek_policy.decision option

val coopmat_gate : device:Device.t -> Sarek_ir_types.kernel -> unit