package mula

  1. Overview
  2. Docs
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