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.util/Util/Source/index.html

Module Util.SourceSource

Sourcetype pos = {
  1. file : string;
  2. line : int;
  3. column : int;
}
Sourceval pos_to_yojson : pos -> Yojson.Safe.t
Sourcetype region = {
  1. left : pos;
  2. right : pos;
}
Sourceval region_to_yojson : region -> Yojson.Safe.t
Sourceval no_pos : pos
Sourceval no_region : region
Sourceval pos_of_file : string -> pos
Sourceval region_of_file : string -> region
Sourceval before_region : region -> region
Sourceval after_region : region -> region
Sourceval string_of_pos : pos -> string
Sourceval string_of_range : pos -> pos -> string
Sourceval string_of_region : region -> string
Sourcetype ('a, 'b, 'c) info = {
  1. it : 'a;
  2. note : 'b;
  3. at : 'c;
}
Sourceval info_to_yojson : 'a 'b 'c. ('a -> Yojson.Safe.t) -> ('b -> Yojson.Safe.t) -> ('c -> Yojson.Safe.t) -> ('a, 'b, 'c) info -> Yojson.Safe.t
Sourcetype ('a, 'b) note_phrase = ('a, 'b, region) info
Sourceval note_phrase_to_yojson : 'a 'b. ('a -> Yojson.Safe.t) -> ('b -> Yojson.Safe.t) -> ('a, 'b) note_phrase -> Yojson.Safe.t
Sourcetype ('a, 'b) note = ('a, 'b, unit) info
Sourceval note_to_yojson : 'a 'b. ('a -> Yojson.Safe.t) -> ('b -> Yojson.Safe.t) -> ('a, 'b) note -> Yojson.Safe.t
Sourcetype 'a phrase = ('a, unit, region) info
Sourceval phrase_to_yojson : 'a. ('a -> Yojson.Safe.t) -> 'a phrase -> Yojson.Safe.t
Sourceval _ : (Yojson.Safe.t -> 'a Ppx_deriving_yojson_runtime.error_or) -> Yojson.Safe.t -> 'a phrase Ppx_deriving_yojson_runtime.error_or
Sourceval ($) : 'a -> 'b -> ('a, unit, 'b) info
Sourceval ($$) : 'a -> ('b * 'c) -> ('a, 'c, 'b) info
Sourceval ($$$) : 'a -> 'b -> ('a, 'b, unit) info
Sourceval (%) : 'a -> 'b -> 'a * 'b
Sourceval it : ('a, 'b, 'c) info -> 'a
Sourceval at : ('a, 'b, 'c) info -> 'c
Sourceval note : ('a, 'b, 'c) info -> 'b
Sourceval over_region : region list -> region
Sourceval exp_list_region : ('a, 'b, region) info list -> region