Module `Lang.Al`

type num = Il.num

val num_to_yojson : num -> Yojson.Safe.t

val num_of_yojson : Yojson.Safe.t -> num Ppx_deriving_yojson_runtime.error_or

type text = Il.text

val text_to_yojson : text -> Yojson.Safe.t

val text_of_yojson : Yojson.Safe.t -> text Ppx_deriving_yojson_runtime.error_or

type id = Il.id

val id_to_yojson : id -> Yojson.Safe.t

val id_of_yojson : Yojson.Safe.t -> id Ppx_deriving_yojson_runtime.error_or

type id' = Il.id'

val id'_to_yojson : id' -> Yojson.Safe.t

val id'_of_yojson : Yojson.Safe.t -> id' Ppx_deriving_yojson_runtime.error_or

type atom = Il.atom

val atom_to_yojson : atom -> Yojson.Safe.t

val atom_of_yojson : Yojson.Safe.t -> atom Ppx_deriving_yojson_runtime.error_or

type atom' = Il.atom'

val atom'_to_yojson : atom' -> Yojson.Safe.t

val atom'_of_yojson : 
  Yojson.Safe.t ->
  atom' Ppx_deriving_yojson_runtime.error_or

type mixop = Il.mixop

val mixop_to_yojson : mixop -> Yojson.Safe.t

val mixop_of_yojson : 
  Yojson.Safe.t ->
  mixop Ppx_deriving_yojson_runtime.error_or

type iter = Il.iter

val iter_to_yojson : iter -> Yojson.Safe.t

val iter_of_yojson : Yojson.Safe.t -> iter Ppx_deriving_yojson_runtime.error_or

type var = Il.var

val var_to_yojson : var -> Yojson.Safe.t

val var_of_yojson : Yojson.Safe.t -> var Ppx_deriving_yojson_runtime.error_or

type typ = Il.typ

val typ_to_yojson : typ -> Yojson.Safe.t

val typ_of_yojson : Yojson.Safe.t -> typ Ppx_deriving_yojson_runtime.error_or

type typ' = Il.typ'

val typ'_to_yojson : typ' -> Yojson.Safe.t

val typ'_of_yojson : Yojson.Safe.t -> typ' Ppx_deriving_yojson_runtime.error_or

type nottyp = Il.nottyp

val nottyp_to_yojson : nottyp -> Yojson.Safe.t

val nottyp_of_yojson : 
  Yojson.Safe.t ->
  nottyp Ppx_deriving_yojson_runtime.error_or

type nottyp' = Il.nottyp'

val nottyp'_to_yojson : nottyp' -> Yojson.Safe.t

val nottyp'_of_yojson : 
  Yojson.Safe.t ->
  nottyp' Ppx_deriving_yojson_runtime.error_or

type deftyp = Il.deftyp

val deftyp_to_yojson : deftyp -> Yojson.Safe.t

val deftyp_of_yojson : 
  Yojson.Safe.t ->
  deftyp Ppx_deriving_yojson_runtime.error_or

type deftyp' = Il.deftyp'

val deftyp'_to_yojson : deftyp' -> Yojson.Safe.t

val deftyp'_of_yojson : 
  Yojson.Safe.t ->
  deftyp' Ppx_deriving_yojson_runtime.error_or

type typfield = Il.typfield

val typfield_to_yojson : typfield -> Yojson.Safe.t

val typfield_of_yojson : 
  Yojson.Safe.t ->
  typfield Ppx_deriving_yojson_runtime.error_or

type typcase = Il.typcase

val typcase_to_yojson : typcase -> Yojson.Safe.t

val typcase_of_yojson : 
  Yojson.Safe.t ->
  typcase Ppx_deriving_yojson_runtime.error_or

type vid = Il.vid

type vnote = Il.vnote

val vnote_to_yojson : vnote -> Yojson.Safe.t

val vnote_of_yojson : 
  Yojson.Safe.t ->
  vnote Ppx_deriving_yojson_runtime.error_or

type value = Il.value

val value_to_yojson : value -> Yojson.Safe.t

val value_of_yojson : 
  Yojson.Safe.t ->
  value Ppx_deriving_yojson_runtime.error_or

type value' = Il.value'

val value'_to_yojson : value' -> Yojson.Safe.t

val value'_of_yojson : 
  Yojson.Safe.t ->
  value' Ppx_deriving_yojson_runtime.error_or

type valuefield = Il.valuefield

val valuefield_to_yojson : valuefield -> Yojson.Safe.t

val valuefield_of_yojson : 
  Yojson.Safe.t ->
  valuefield Ppx_deriving_yojson_runtime.error_or

type valuecase = Il.valuecase

val valuecase_to_yojson : valuecase -> Yojson.Safe.t

val valuecase_of_yojson : 
  Yojson.Safe.t ->
  valuecase Ppx_deriving_yojson_runtime.error_or

type numop = Il.numop

val numop_to_yojson : numop -> Yojson.Safe.t

val numop_of_yojson : 
  Yojson.Safe.t ->
  numop Ppx_deriving_yojson_runtime.error_or

type unop = Il.unop

val unop_to_yojson : unop -> Yojson.Safe.t

val unop_of_yojson : Yojson.Safe.t -> unop Ppx_deriving_yojson_runtime.error_or

type binop = Il.binop

val binop_to_yojson : binop -> Yojson.Safe.t

val binop_of_yojson : 
  Yojson.Safe.t ->
  binop Ppx_deriving_yojson_runtime.error_or

type cmpop = Il.cmpop

val cmpop_to_yojson : cmpop -> Yojson.Safe.t

val cmpop_of_yojson : 
  Yojson.Safe.t ->
  cmpop Ppx_deriving_yojson_runtime.error_or

type optyp = Il.optyp

val optyp_to_yojson : optyp -> Yojson.Safe.t

val optyp_of_yojson : 
  Yojson.Safe.t ->
  optyp Ppx_deriving_yojson_runtime.error_or

type exp = Il.exp

val exp_to_yojson : exp -> Yojson.Safe.t

val exp_of_yojson : Yojson.Safe.t -> exp Ppx_deriving_yojson_runtime.error_or

type exp' = Il.exp'

val exp'_to_yojson : exp' -> Yojson.Safe.t

val exp'_of_yojson : Yojson.Safe.t -> exp' Ppx_deriving_yojson_runtime.error_or

type notexp = Il.notexp

val notexp_to_yojson : notexp -> Yojson.Safe.t

val notexp_of_yojson : 
  Yojson.Safe.t ->
  notexp Ppx_deriving_yojson_runtime.error_or

type iterexp = Il.iterexp

val iterexp_to_yojson : iterexp -> Yojson.Safe.t

val iterexp_of_yojson : 
  Yojson.Safe.t ->
  iterexp Ppx_deriving_yojson_runtime.error_or

type pattern = Il.pattern

val pattern_to_yojson : pattern -> Yojson.Safe.t

val pattern_of_yojson : 
  Yojson.Safe.t ->
  pattern Ppx_deriving_yojson_runtime.error_or

type path = Il.path

val path_to_yojson : path -> Yojson.Safe.t

val path_of_yojson : Yojson.Safe.t -> path Ppx_deriving_yojson_runtime.error_or

type path' = Il.path'

val path'_to_yojson : path' -> Yojson.Safe.t

val path'_of_yojson : 
  Yojson.Safe.t ->
  path' Ppx_deriving_yojson_runtime.error_or

type param = Il.param

val param_to_yojson : param -> Yojson.Safe.t

val param_of_yojson : 
  Yojson.Safe.t ->
  param Ppx_deriving_yojson_runtime.error_or

type param' = Il.param'

val param'_to_yojson : param' -> Yojson.Safe.t

val param'_of_yojson : 
  Yojson.Safe.t ->
  param' Ppx_deriving_yojson_runtime.error_or

type tparam = Il.tparam

val tparam_to_yojson : tparam -> Yojson.Safe.t

val tparam_of_yojson : 
  Yojson.Safe.t ->
  tparam Ppx_deriving_yojson_runtime.error_or

type tparam' = Il.tparam'

val tparam'_to_yojson : tparam' -> Yojson.Safe.t

val tparam'_of_yojson : 
  Yojson.Safe.t ->
  tparam' Ppx_deriving_yojson_runtime.error_or

type arg = Il.arg

val arg_to_yojson : arg -> Yojson.Safe.t

val arg_of_yojson : Yojson.Safe.t -> arg Ppx_deriving_yojson_runtime.error_or

type arg' = Il.arg'

val arg'_to_yojson : arg' -> Yojson.Safe.t

val arg'_of_yojson : Yojson.Safe.t -> arg' Ppx_deriving_yojson_runtime.error_or

type targ = Il.targ

val targ_to_yojson : targ -> Yojson.Safe.t

val targ_of_yojson : Yojson.Safe.t -> targ Ppx_deriving_yojson_runtime.error_or

type targ' = Il.targ'

val targ'_to_yojson : targ' -> Yojson.Safe.t

val targ'_of_yojson : 
  Yojson.Safe.t ->
  targ' Ppx_deriving_yojson_runtime.error_or

type prem = Il.prem

val prem_to_yojson : prem -> Yojson.Safe.t

val prem_of_yojson : Yojson.Safe.t -> prem Ppx_deriving_yojson_runtime.error_or

type prem' = Il.prem'

val prem'_to_yojson : prem' -> Yojson.Safe.t

val prem'_of_yojson : 
  Yojson.Safe.t ->
  prem' Ppx_deriving_yojson_runtime.error_or

type iterprem = Il.iterprem

and rulematch = exp list * exp list * prem list

and rulepath = id * prem list * exp list

and rulegroup = rulegroup' Util.Source.phrase

and rulegroup' = id * rulematch * rulepath list

and elsegroup = elsegroup' Util.Source.phrase

and elsegroup' = id * rulematch * rulepath

val iterprem_to_yojson : iterprem -> Yojson.Safe.t

val iterprem_of_yojson : 
  Yojson.Safe.t ->
  iterprem Ppx_deriving_yojson_runtime.error_or

val rulematch_to_yojson : rulematch -> Yojson.Safe.t

val rulematch_of_yojson : 
  Yojson.Safe.t ->
  rulematch Ppx_deriving_yojson_runtime.error_or

val rulepath_to_yojson : rulepath -> Yojson.Safe.t

val rulepath_of_yojson : 
  Yojson.Safe.t ->
  rulepath Ppx_deriving_yojson_runtime.error_or

val rulegroup_to_yojson : rulegroup -> Yojson.Safe.t

val rulegroup_of_yojson : 
  Yojson.Safe.t ->
  rulegroup Ppx_deriving_yojson_runtime.error_or

val rulegroup'_to_yojson : rulegroup' -> Yojson.Safe.t

val rulegroup'_of_yojson : 
  Yojson.Safe.t ->
  rulegroup' Ppx_deriving_yojson_runtime.error_or

val elsegroup_to_yojson : elsegroup -> Yojson.Safe.t

val elsegroup_of_yojson : 
  Yojson.Safe.t ->
  elsegroup Ppx_deriving_yojson_runtime.error_or

val elsegroup'_to_yojson : elsegroup' -> Yojson.Safe.t

val elsegroup'_of_yojson : 
  Yojson.Safe.t ->
  elsegroup' Ppx_deriving_yojson_runtime.error_or

val _ : Yojson.Safe.t -> elsegroup' Ppx_deriving_yojson_runtime.error_or

type clause = Il.clause

type clause' = Il.clause'

type elseclause = Il.elseclause

type elseclause' = Il.elseclause'

and tablerow = tablerow' Util.Source.phrase

and tablerow' = exp list * arg list * exp * prem list

type hint = El.hint

type def = def' Util.Source.phrase

and def' =

| ExternTypD of id * hint list
| TypD of id * tparam list * deftyp * hint list
| VarD of id * typ * hint list
| ExternRelD of id * nottyp * Hints.Input.t * hint list
| RelD of id * nottyp * Hints.Input.t * rulegroup list * elsegroup option * hint list
| ExternDecD of id * tparam list * param list * typ * hint list
| BuiltinDecD of id * tparam list * param list * typ * hint list
| TableDecD of id * param list * typ * tablerow list * hint list
| FuncDecD of id * tparam list * param list * typ * clause list * elseclause option * hint list

type spec = def list

module Eq : sig ... end

module Free : sig ... end

module Fresh : sig ... end

module Var : sig ... end

module Print : sig ... end

module Walk : sig ... end

Install

dune-project
Dependency

Authors

Maintainers

Sources

doc/p4spectec.lang/Lang/Al/index.html

Module `Lang.Al`

package p4spectec

Install

dune-project Dependency

Authors

Maintainers

Sources

doc/p4spectec.lang/Lang/Al/index.html

Module Lang.Al

dune-project
Dependency

Module `Lang.Al`