package regenerate

You can search for identifiers within the package.

in-package search v0.2.0

Regenerate is a tool to generate test-cases for regular expression engines

Install

sha256=12495bc3692524dd62e7231e956df4afd7e6b69970deb865e8feafb232e734b2

sha512=b5886b07a9db6f0be8c1b6245aa856538eabf6327cf35b82cecee3dfb9e9fc6e6f3a710753c90919e161b975be2e49df47d5e4c211e6e68dabf677021cbd0df2

Sourcetype elt = string

Sourcetype t

Sourceval empty : t

Sourceval is_empty : t -> bool

Sourceval return : elt -> t

Sourceval append : t -> t -> t

Sourceval union : t -> t -> t

Sourceval inter : t -> t -> t

Sourceval diff : t -> t -> t

Sourceval merge : t list -> t

Sourceval of_list : elt list -> t

Sourceval to_iter : t -> elt Iter.t

Sourceval memoize : t -> t