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/p4spectec.lang/Lang/Hints/Alter/index.html

Module `Hints.Alter`

type t =

| TextH of El.text
| AtomH of El.atom
| SeqH of t list
| BrackH of El.atom * t * El.atom
| HoleH of [ `Next | `Num of int ]
| FuseH of t * t
| OtherH of El.exp

val to_string : t -> string

val to_string' : t -> El.text

val init : Hint.t -> t option

val validate : t -> 'a list -> (unit, string) result

val validate' : int -> t -> 'a list -> (int, string) result

val collect : t -> int list

val collect' : int list -> t -> int list

val realign : t -> Hints.Input.t -> t

val realign' : (int * int) list -> t -> t

val alternate : 
  empty:'d ->
  text:(string -> 'd option) ->
  atom:(El.atom -> 'd) ->
  join:('d list -> 'd) ->
  fuse:('d -> 'd -> 'd) ->
  other:(El.exp -> 'd) ->
  t ->
  ('a -> 'd) ->
  'a list ->
  'd