package p4spectec

  1. Overview
  2. Docs
P4-SpecTec: A mechanization toolchain for the P4 Programming Language

Install 

dune-project
 Dependency

github.com Readme Edit opam file Versions (2)

Authors

  1. K
    KAIST PLRG

Maintainers

  1. 9
    99jaehyunlee@kaist.ac.kr

Sources

v0.1.2.tar.gz
md5=1a3bc0a385fe1ecf403c019f49aa6de6
sha512=5d20b5821f33e2a3a5419b208606f27c01511994c2b3b1e1cdf4c077056dfd0aa81682af0720e1060ee2bfb0341918fcc4c53159820205a2bc32b725e5c1a714

doc/p4spectec.lang/Lang/Xl/Num/index.html

Module Xl.Num

type t = [
  1. | `Nat of Bigint.t
  2. | `Int of Bigint.t
]
val to_yojson : t -> Yojson.Safe.t
type typ = [
  1. | `NatT
  2. | `IntT
]
val typ_to_yojson : typ -> Yojson.Safe.t
val to_typ : [< `Int of 'a | `Nat of 'b ] -> [> `IntT | `NatT ]
val to_int : [< `Int of 'a | `Nat of 'a ] -> 'a
type unop = [
  1. | `PlusOp
  2. | `MinusOp
]
val unop_to_yojson : unop -> Yojson.Safe.t
type binop = [
  1. | `AddOp
  2. | `SubOp
  3. | `MulOp
  4. | `DivOp
  5. | `ModOp
  6. | `PowOp
]
val binop_to_yojson : binop -> Yojson.Safe.t
type cmpop = [
  1. | `LtOp
  2. | `GtOp
  3. | `LeOp
  4. | `GeOp
]
val cmpop_to_yojson : cmpop -> Yojson.Safe.t
val _ : Yojson.Safe.t -> cmpop Ppx_deriving_yojson_runtime.error_or
val compare : t -> t -> int
val compare_typ : typ -> typ -> int
val eq : t -> t -> bool
val equiv : 'a -> 'a -> bool
val sub : ([> `IntT | `NatT ] as 'a) -> 'a -> bool
val string_of_num : [< `Int of Bigint.t | `Nat of Bigint.t ] -> string
val string_of_typ : [< `IntT | `NatT ] -> string
val string_of_unop : [< `MinusOp | `PlusOp ] -> string
val string_of_binop : [< `AddOp | `DivOp | `ModOp | `MulOp | `PowOp | `SubOp ] -> string
val string_of_cmpop : [< `GeOp | `GtOp | `LeOp | `LtOp ] -> string
val un : unop -> t -> t
val bin : binop -> [> `Int of Bigint.t | `Nat of Bigint.t ] -> [> `Int of Bigint.t | `Nat of Bigint.t ] -> t
val cmp : cmpop -> [> `Int of 'a | `Nat of 'b ] -> [> `Int of 'a | `Nat of 'b ] -> bool