mula.internal
DemarauNFA.Transitions
mula
val get_delete_trans : State.t -> BitVec.t -> k:int -> State.t list
val get_sub_ins : State.t -> k:int -> State.t list
val transitions : BitVec.t -> k:int -> State.t -> StateSet.t
val all_transitions : StateSet.t -> BitVec.t -> k:int -> StateSet.t