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.domain/Domain/Atom/index.html

Module Domain.AtomSource

Sourcetype upid = string
Sourceval upid_to_yojson : upid -> Yojson.Safe.t
Sourcetype optext = string
Sourceval optext_to_yojson : optext -> Yojson.Safe.t
Sourcetype t =
  1. | Keyword of upid
  2. | Tag of upid
  3. | Operator of optext
  4. | Sub
  5. | Sup
  6. | Turnstile
  7. | Tilesturn
  8. | Arrow
  9. | ArrowSub
  10. | DoubleArrowSub
  11. | DoubleArrowLong
  12. | SqArrow
  13. | SqArrowStar
  14. | Dot
  15. | Dot2
  16. | Dot3
  17. | Semicolon
  18. | Colon
  19. | ColonEq
  20. | Tilde2
  21. | Backslash
  22. | LAngle
  23. | RAngle
  24. | LParen
  25. | RParen
  26. | LBrack
  27. | RBrack
  28. | LBrace
  29. | RBrace
Sourceval to_yojson : t -> Yojson.Safe.t
Sourceval _ : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or
Sourceval compare : t -> t -> int
Sourceval eq : t -> t -> bool
Sourceval string_of_atom : t -> upid
Sourceval atom_of_string : upid -> t
Sourceval render_atom : t -> upid
Sourceval is_upid : string -> bool
Sourceval is_operator : t -> String.t -> bool
Sourceval keyword : string -> t
Sourceval tag : string -> t
Sourceval operator : string -> t