package ocaml-logicalform

  1. Overview
  2. Docs

Parameters

module T : IdBase.BASE

Signature

module T = IdBase.Make(T)
type t = private
  1. | Valid of nonzero_sign * T.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
val id : T.t -> t
val to_nonzero_int_exn : t -> Base.int
val of_nonzero_int_exn : Base.int -> t
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.