package p4spectec

You can search for identifiers within the package.

in-package search v0.2.0

P4-SpecTec: A mechanization toolchain for the P4 Programming Language

Install

dune-project

Dependency

github.com Readme Edit opam file Versions (2)

Authors

K

KAIST PLRG

Maintainers

9

99jaehyunlee@kaist.ac.kr

Sources

v0.1.2.tar.gz

md5=1a3bc0a385fe1ecf403c019f49aa6de6

sha512=5d20b5821f33e2a3a5419b208606f27c01511994c2b3b1e1cdf4c077056dfd0aa81682af0720e1060ee2bfb0341918fcc4c53159820205a2bc32b725e5c1a714

doc/type/Type/Typ/Make/index.html

Module `Typ.Make`Source

Sourceval iterate : t -> Lang.Il.iter list -> t

Sourceval bool' : Lang.Il.typ'

Sourceval bool : Lang.Il.typ

Sourceval nat' : Lang.Il.typ'

Sourceval nat : Lang.Il.typ

Sourceval int' : Lang.Il.typ'

Sourceval int : Lang.Il.typ

Sourceval num' : Lang.Xl.Num.typ -> Lang.Il.typ'

Sourceval num : Lang.Xl.Num.typ -> Lang.Il.typ

Sourceval text' : Lang.Il.typ'

Sourceval text : Lang.Il.typ

Sourceval var' : Lang.Il.id -> Lang.Il.targ list -> Lang.Il.typ'

Sourceval var : Lang.Il.id -> Lang.Il.targ list -> Lang.Il.typ

Sourceval tuple' : Lang.Il.typ list -> Lang.Il.typ'

Sourceval tuple : Lang.Il.typ list -> Lang.Il.typ

Sourceval iter' : Lang.Il.typ -> Lang.Il.iter -> Lang.Il.typ'

Sourceval iter : Lang.Il.typ -> Lang.Il.iter -> Lang.Il.typ

Sourceval opt' : Lang.Il.typ -> Lang.Il.typ'

Sourceval opt : Lang.Il.typ -> Lang.Il.typ

Sourceval list' : Lang.Il.typ -> Lang.Il.typ'

Sourceval list : Lang.Il.typ -> Lang.Il.typ

Source

val func' : 
  Lang.Il.tparam list ->
  Lang.Il.typ list ->
  Lang.Il.typ ->
  Lang.Il.typ'

Source

val func : 
  Lang.Il.tparam list ->
  Lang.Il.typ list ->
  Lang.Il.typ ->
  Lang.Il.typ

Sourceval of_param_il : Lang.Il.param -> t

Sourceval of_params_il : Lang.Il.param list -> Lang.Il.typ list

Sourceval of_param_sl : Lang.Sl.param -> t

Sourceval of_params_sl : Lang.Sl.param list -> Lang.Il.typ list

Sourceval of_param_pl : Lang.Pl.param -> t

Sourceval of_params_pl : Lang.Pl.param list -> Lang.Il.typ list