2017-08-18 18:28:33 +02:00
|
|
|
type t = One | Zero [@@deriving sexp]
|
2014-10-26 17:29:11 +01:00
|
|
|
|
|
|
|
(** String conversions for printing *)
|
|
|
|
val to_string : t -> string
|
|
|
|
|
|
|
|
(** Logical operations *)
|
|
|
|
val and_operator : t -> t -> t
|
|
|
|
val or_operator : t -> t -> t
|
|
|
|
val xor_operator : t -> t -> t
|
|
|
|
val not_operator : t -> t
|