Module Internal.LevBVNFASource

Sourcemodule BV = BitVec
Sourcetype states =
  1. | States of BV.t array
Sourcemodule StateSet : sig ... end
Sourcemodule Transitions : sig ... end