package dunolint-lib

You can search for identifiers within the package.

in-package search v0.2.0

A library to create dunolint configs

Install

dune-project

Dependency

sha256=d92e0d705b661ea12b22dcc9bdd83815c507218c1de085d75140fd47bea0c5ec

sha512=fdf4fbb4906aba4aeab766dfa5202b64950c71c988b1b84363319dd05edb93b34142355f968a5687057977e40defdced20a2a17ee0614565096eb123655621f3

val module_name : string

The module name is used for error messages only.

val invariant : string -> bool

This is the validation function that should be run on the untrusted input string. Return true on valid input.

By construction, invariant t = true is an invariant of any value of type t, since it is verified during of_string _.