package hardcaml_verify

  1. Overview
  2. Docs
package hardcaml_verify
Legend:
Library
Module
Module type
Parameter
Class
Class type

A literal is an input bit to the CNF. They are constructed with the vector and bit functions, negated with (~:) and managed as a group within a Disjunction.t.

type t
val sexp_of_t : t -> Sexplib0.Sexp.t
val to_string : t -> Base.string
val of_labels : Label.t Base.array -> t Base.array
val create : ?width:Base.int -> ?hidden:Base.bool -> Base.string -> t Base.array
val create1 : ?hidden:Base.bool -> Base.string -> t