package p4spectec

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

Module Xl.Bool

type t = [
  1. | `BoolT
]
val to_yojson : t -> Yojson.Safe.t
type typ = [
  1. | `BoolT
]
val typ_to_yojson : typ -> Yojson.Safe.t
type unop = [
  1. | `NotOp
]
val unop_to_yojson : unop -> Yojson.Safe.t
type binop = [
  1. | `AndOp
  2. | `OrOp
  3. | `ImplOp
  4. | `EquivOp
]
val binop_to_yojson : binop -> Yojson.Safe.t
type cmpop = [
  1. | `EqOp
  2. | `NeOp
]
val cmpop_to_yojson : cmpop -> Yojson.Safe.t
val _ : Yojson.Safe.t -> cmpop Ppx_deriving_yojson_runtime.error_or
val string_of_bool : bool -> string
val string_of_unop : [< `NotOp ] -> string
val string_of_binop : [< `AndOp | `EquivOp | `ImplOp | `OrOp ] -> string
val string_of_cmpop : [< `EqOp | `NeOp ] -> string