package ocaml-logicalform

  1. Overview
  2. Docs
module T : sig ... end
type t = private Term.Literal.Id.t =
  1. | Valid of Index.nonzero_sign * 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
val of_string : string -> t
val to_string : t -> string
val not_ : t -> t