package mula

You can search for identifiers within the package.

in-package search v0.2.0

ML's Universal Levenshtein Automata library

Install

sha256=ee5333b6f30b68a26af55b7f2f5a1f4f1189c13f4b678735da5dbb4685d0e225

sha512=22f63d6a077b5825d0b1ce076fa23f39bf4ae4280befec0a8765079fb9f542de2858e9a51e86547d47017c646dfe2c9d1fdd1c99d9f4c30aebf4f7cc06cfe995

Sourceval get_delete : State.t -> BitVec.t -> k:int -> State.t option

Sourceval get_sub_ins : State.t -> k:int -> (State.t * State.t) option

Sourceval transitions : BitVec.t -> k:int -> State.t -> StateSet.t

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