package dunolint-lib

  1. Overview
  2. Docs
A library to create dunolint configs

Install 

dune-project
 Dependency

github.com Readme Changelog Edit opam file Versions (3)

Authors

  1. M
    Mathieu Barbin

Maintainers

  1. M
    Mathieu Barbin <opensource@mbarbin.org>

Sources

dunolint-0.0.20251006.tbz
sha256=1b064927c9e1ef5352a1886ae34a206fef0ce6a913c19a77b0162acc108e0e50
sha512=6cbc08ba318bef6584d15a4491e3dde1bf436109ce0f8b7c400a9f91bbcee64c5785bc924df11eafe98243ec2f188a7f92c58c5062729f3e2af1e9977f1a5e67

doc/dunolint-lib.vendor_vcs/Validated_string/Make/argument-1-_/index.html

Parameter Make._

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