package hardcaml

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

Module Logic.Four_stateSource

Sourcetype t =
  1. | X
  2. | Z
  3. | L0
  4. | L1
include Ppx_compare_lib.Comparable.S with type t := t
Sourceval compare : t -> t -> int
include Ppx_enumerate_lib.Enumerable.S with type t := t
Sourceval all : t list
include Sexplib0.Sexpable.S with type t := t
Sourceval t_of_sexp : Sexplib0.Sexp.t -> t
Sourceval sexp_of_t : t -> Sexplib0.Sexp.t
Sourceval x : t
Sourceval z : t
Sourceval l0 : t
Sourceval l1 : t
Sourceval is_x : t -> Base.bool
Sourceval is_z : t -> Base.bool
Sourceval is_l0 : t -> Base.bool
Sourceval is_l1 : t -> Base.bool
Sourceval l0_val : t -> Base.unit Base.option
Sourceval l1_val : t -> Base.unit Base.option
Sourcemodule Variants : sig ... end
include Base.Equal.S with type t := t
Sourceval to_int : t -> Base.int

Provide the index of t in textual order.

Sourceval of_char_exn : Base.char -> t
Sourceval to_char : t -> Base.char
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