package hardcaml

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

Logic with undefined values.

type t =
  1. | F
  2. | T
  3. | X
include Ppx_compare_lib.Comparable.S with type t := t
val compare : t -> t -> int
include Ppx_compare_lib.Equal.S with type t := t
include T with type t := t
include Ppx_compare_lib.Equal.S with type t := t
val equal : t -> t -> bool
include Sexplib0.Sexpable.S with type t := t
val t_of_sexp : Sexplib0.Sexp.t -> t
val sexp_of_t : t -> Sexplib0.Sexp.t
val constant_only : Base.bool

Only constants are valid (ie the type t does not represent a notion of inputs). This allows more compact sexp printing.

val optimise_muxs : Base.bool

Mux's should be optimised. The select values will be converted to an int and used access the data list. Only valid in conjunction with constant_only.

val vdd : t
val gnd : t
val (&:) : t -> t -> t
val (|:) : t -> t -> t
val (^:) : t -> t -> t
val (~:) : t -> t
val to_char : t -> Base.char
val of_char : Base.char -> t
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct