package dunolint-lib

You can search for identifiers within the package.

in-package search v0.2.0

A library to create dunolint configs

Install

sha256=b44119c96aeabb960e852711c2f20ae43f0011e796f05e012141ba980a5b58f6

sha512=5bf76732adc940db6cac0875e94c3eaff436288faba95388b9675c68b3f30f5362e01f289fc8a096325f7db812ace273773a1e051ab7d7ace3b8db4a57a0e070

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 _.