package mula

  1. Overview
  2. Docs
val get_delete : State.t -> BitVec.t -> k:int -> State.t option
val get_sub_ins : State.t -> k:int -> (State.t * State.t) option
val transitions : BitVec.t -> k:int -> State.t -> StateSet.t
val all_transitions : StateSet.t -> BitVec.t -> k:int -> StateSet.t