package hardcaml_verify

  1. Overview
  2. Docs

Module Cnf.LiteralSource

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.

Sourcetype t
Sourceval sexp_of_t : t -> Sexplib0.Sexp.t
Sourceval to_string : t -> Base.string
Sourceval create : ?width:Base.int -> ?hidden:Base.bool -> Base.string -> t Base.array
Sourceval create1 : ?hidden:Base.bool -> Base.string -> t
OCaml

Innovation. Community. Security.