Up – Package index » mula » Library mula.internal » Internal » DemarauBVNFA » Transitions

Module `DemarauBVNFA.Transitions`Source

Sourceval all_transitions : StateSet.t -> BV.t -> k:int -> StateSet.t