val armada_step_to_action (step: Armada.Step.t) : Armada.Action.t
val armada_step_to_action (step: Armada.Step.t) : Armada.Action.t
let armada_step_to_action (step: Armada.Step.t) : Armada.Action.t =
  step.action
module Strategies.Semantics.Armada

open Armada.Action
open Armada.Base
open Armada.Step
open Armada.Program
open Armada.Threads
open Armada.Transition
open Armada.Type
open Spec.Behavior
open Spec.List
open Spec.Ubool
open Strategies.Semantics
open Util.Behavior
/
Util.Behavior.fst.checked Strategies.Semantics.fst.checked Spec.Ubool.fst.checked Spec.List.fst.checked Spec.Behavior.fst.checked prims.fst.checked FStar.Pervasives.fsti.checked Armada.Type.fst.checked Armada.Transition.fst.checked Armada.Threads.fst.checked Armada.Step.fst.checked Armada.State.fst.checked Armada.Program.fst.checked Armada.Base.fst.checked Armada.Action.fst.checked
Strategies.Semantics.Armada.fsti
step: Armada.Step.t -> Armada.Action.t
Armada.Step.t Armada.Step.__proj__Mkt__item__action Armada.Action.t
let armada_step_to_action (step: Armada.Step.t) : Armada.Action.t =
  
step.action