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=e4ca7c98db73dd9ab2ae8cba37ee0645f580267484e9893dbce6e28f4f2f0170

sha512=7ca658fb96139a0c41724355ac6aaf83d75468c7df14569b8f6090711f73a8fb2408ed1145384e756418682f0fa660a915842fd2b3f8b42e5ed4990e795b384e

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