Module Internal.DemarauBVNFASource

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