package hardcaml

  1. Overview
  2. Docs
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.