package core

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Module `Comparable.Validate_with_zero`Source

module T : sig ... end

Sourceval validate_lbound : min:T.t Maybe_bound.t -> T.t Validate.check

Sourceval validate_ubound : max:T.t Maybe_bound.t -> T.t Validate.check

val validate_bound : 
  min:T.t Maybe_bound.t ->
  max:T.t Maybe_bound.t ->
  T.t Validate.check

Sourceval validate_positive : T.t Validate.check

Sourceval validate_non_negative : T.t Validate.check

Sourceval validate_negative : T.t Validate.check

Sourceval validate_non_positive : T.t Validate.check