package p4spectec

You can search for identifiers within the package.

in-package search v0.2.0

Module `Xl.Num`

type t = [

]

val to_yojson : t -> Yojson.Safe.t

val of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or

type typ = [

]

val typ_to_yojson : typ -> Yojson.Safe.t

val typ_of_yojson : Yojson.Safe.t -> typ Ppx_deriving_yojson_runtime.error_or

val to_typ : [< `Int of 'a | `Nat of 'b ] -> [> `IntT | `NatT ]

val to_int : [< `Int of 'a | `Nat of 'a ] -> 'a

type unop = [

]

val unop_to_yojson : unop -> Yojson.Safe.t

val unop_of_yojson : Yojson.Safe.t -> unop Ppx_deriving_yojson_runtime.error_or

type binop = [

]

val binop_to_yojson : binop -> Yojson.Safe.t

val binop_of_yojson : 
  Yojson.Safe.t ->
  binop Ppx_deriving_yojson_runtime.error_or

type cmpop = [

]

val cmpop_to_yojson : cmpop -> Yojson.Safe.t

val cmpop_of_yojson : 
  Yojson.Safe.t ->
  cmpop Ppx_deriving_yojson_runtime.error_or

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