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

md5=1a3bc0a385fe1ecf403c019f49aa6de6

sha512=5d20b5821f33e2a3a5419b208606f27c01511994c2b3b1e1cdf4c077056dfd0aa81682af0720e1060ee2bfb0341918fcc4c53159820205a2bc32b725e5c1a714

Sourceval mk : Util.Source.region -> Lang.Il.typ' -> Lang.Il.value' -> Lang.Il.value

val with_typ : 
  Lang.Il.typ ->
  (Util.Source.region * Lang.Il.value') ->
  Lang.Il.value

val with_region : 
  Util.Source.region ->
  Lang.Il.value' ->
  Util.Source.region * Lang.Il.value'

Sourceval bool : ?at:??? -> bool -> Lang.Il.value

Sourceval nat : ?at:??? -> Bigint.t -> Lang.Il.value

Sourceval int : ?at:??? -> Bigint.t -> Lang.Il.value

Sourceval num : ?at:??? -> Lang.Xl.Num.t -> Lang.Il.value

Sourceval text : ?at:??? -> string -> Lang.Il.value

Sourceval str : ?at:??? -> Lang.Il.typ -> Lang.Il.valuefield list -> Lang.Il.value

Sourceval case : ?at:??? -> Lang.Il.typ -> Lang.Il.valuecase -> Lang.Il.value

Sourceval tuple : ?at:??? -> Lang.Il.typ -> Lang.Il.value list -> Lang.Il.value

Sourceval opt : ?at:??? -> Lang.Il.typ -> Lang.Il.value option -> Lang.Il.value

Sourceval list : ?at:??? -> Lang.Il.typ -> Lang.Il.value list -> Lang.Il.value

val func : 
  ?at:??? ->
  Lang.Il.id ->
  Lang.Il.tparam list ->
  Lang.Il.typ list ->
  Lang.Il.typ ->
  Lang.Il.value

Sourceval extern : ?at:??? -> Lang.Il.typ -> Yojson.Safe.t -> Lang.Il.value

Sourceval (<|) : string -> Lang.Il.value list -> string * Lang.Il.value list

Sourceval (<<|) : (string * Lang.Il.value list) -> string -> Lang.Il.value

Sourceval (<<<|) : Lang.Il.value -> Util.Source.region -> Lang.Il.value

Sourceval (#@@) : Lang.Il.value -> string -> Lang.Il.value

val (<|!) : 
  Domain.Mixop.t ->
  Lang.Il.value list ->
  Domain.Mixop.t * Lang.Il.value list

val (<<|!) : 
  (Domain.Mixop.t * Lang.Il.value list) ->
  Lang.Il.typ ->
  Lang.Il.value