package mula

You can search for identifiers within the package.

in-package search v0.2.0

ML's library for Universal Levenshtein Automata

Install

sha256=c781cc1225b311f082a63da6dc10f94a44cdf5568e26ff070a66b62fc1482fe7

sha512=acd41a69b47163909e92665a65c2cdb6029b3c201f0b4d3c596e55fb6d8053b8615401fc3e5c929c899bc30e243d73497f32fa15f476e02cf26f2573c039b771

Sourcetype t =

Sourceval compare : t -> t -> int

Sourceval get : int -> t -> bool

Sourceval get_lane : lane:int -> k:int -> t -> bool

Sourceval get_right_of_lane : lane:int -> k:int -> m:int -> t -> bool

Sourceval get_left_of_lane : lane:int -> k:int -> m:int -> t -> bool

Sourceval pos_fold : f:(int -> 'a -> 'a) -> init:'a -> int -> 'a

Sourceval snoc_one : t -> t

Sourceval snoc_zero : t -> t

Sourceval zero : t