package promela

  1. Overview
  2. Docs
val atomic_section_process : Process.t -> Process.t
val atomic_section_model : Model.t -> Model.t