package ocaml-logicalform

  1. Overview
  2. Docs

Parameters

module B : BASE

Signature

include BASE with type t = B.t
type t = B.t
include Ppx_sexp_conv_lib.Sexpable.S with type t := t
val t_of_sexp : Sexplib0.Sexp.t -> t
val sexp_of_t : t -> Sexplib0.Sexp.t
include Base.Comparable.With_zero with type t := t
val validate_positive : t Base.Validate.check
val validate_non_negative : t Base.Validate.check
val validate_negative : t Base.Validate.check
val validate_non_positive : t Base.Validate.check
val is_positive : t -> bool
val is_non_negative : t -> bool
val is_negative : t -> bool
val is_non_positive : t -> bool
val sign : t -> Base__.Sign0.t

Returns Neg, Zero, or Pos in a way consistent with the above functions.

include Base.Intable.S with type t := t
val of_int_exn : int -> t
val to_int_exn : t -> int
include Base.Stringable.S with type t := t
val of_string : string -> t
val to_string : t -> string
include Properties.Negatable with type t := t
val not_ : t -> t
OCaml

Innovation. Community. Security.