Il (p.p4spectec.0.1.2.doc.p4spectec.lang.Lang.Il)

type num = Xl.Num.t

val num_to_yojson : num -> Yojson.Safe.t

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

type text = string

val text_to_yojson : text -> Yojson.Safe.t

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

type id = id' Util.Source.phrase

and id' = string

val id_to_yojson : id -> Yojson.Safe.t

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

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

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

type atom = atom' Util.Source.phrase

and atom' = Domain.Atom.t

val atom_to_yojson : atom -> Yojson.Safe.t

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

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

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

type mixop = Domain.Mixfix.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 =

| Opt
| List

val iter_to_yojson : iter -> Yojson.Safe.t

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

type var = id * typ * iter list

and typ = typ' Util.Source.phrase

and typ' =

| BoolT
| NumT of Xl.Num.typ
| TextT
| VarT of id * targ list
| TupleT of typ list
| IterT of typ * iter
| FuncT of tparam list * typ list * typ

and nottyp = nottyp' Util.Source.phrase

and nottyp' = typ Domain.Mixfix.t

and deftyp = deftyp' Util.Source.phrase

and deftyp' =

| PlainT of typ
| StructT of typfield list
| VariantT of typcase list

and typfield = atom * typ

and typorigin = typorigin' Util.Source.phrase

and typorigin' = id * targ list

and typcase = nottyp * typorigin * hint list

and vid = int

and vnote = {

vid : vid;
typ : typ';
vhash : int;

}

and value = (value', vnote) Util.Source.note_phrase

and value' =

| BoolV of bool
| NumV of Xl.Num.t
| TextV of string
| StructV of valuefield list
| CaseV of valuecase
| TupleV of value list
| OptV of value option
| ListV of value list
| FuncV of id
| ExternV of Yojson.Safe.t

and valuefield = atom * value

and valuecase = value Domain.Mixfix.t

and numop = [

| `DecOp
| `HexOp

]

and unop = [

| Xl.Bool.unop
| Xl.Num.unop

]

and binop = [

| Xl.Bool.binop
| Xl.Num.binop

]

and cmpop = [

| Xl.Bool.cmpop
| Xl.Num.cmpop

]

and optyp = [

| Xl.Bool.typ
| Xl.Num.typ

]

and exp = (exp', typ') Util.Source.note_phrase

and exp' =

| BoolE of bool
| NumE of num
| TextE of text
| VarE of id
| UnE of unop * optyp * exp
| BinE of binop * optyp * exp * exp
| CmpE of cmpop * optyp * exp * exp
| UpCastE of typ * exp
| DownCastE of typ * exp
| SubE of exp * typ
| MatchE of exp * pattern
| TupleE of exp list
| CaseE of notexp
| StrE of (atom * exp) list
| OptE of exp option
| ListE of exp list
| ConsE of exp * exp
| CatE of exp * exp
| MemE of exp * exp
| LenE of exp
| DotE of exp * atom
| IdxE of exp * exp
| SliceE of exp * exp * exp
| UpdE of exp * path * exp
| CallE of id * targ list * arg list
| IterE of exp * iterexp

and notexp = exp Domain.Mixfix.t

and iterexp = iter * var list

and pattern =

| CaseP of mixop
| ListP of [ `Cons | `Fixed of int | `Nil ]
| OptP of [ `Some | `None ]

and path = (path', typ') Util.Source.note_phrase

and path' =

| RootP
| IdxP of path * exp
| SliceP of path * exp * exp
| DotP of path * atom

and param = param' Util.Source.phrase

and param' =

| ExpP of typ
| DefP of id * tparam list * param list * typ

and tparam = tparam' Util.Source.phrase

and tparam' = id'

and arg = arg' Util.Source.phrase

and arg' =

| ExpA of exp
| DefA of id

and targ = targ' Util.Source.phrase

and targ' = typ'

and prem = prem' Util.Source.phrase

and prem' =

| RulePr of id * notexp * Hints.Input.t
| IfPr of exp
| IfHoldPr of id * notexp
| IfNotHoldPr of id * notexp
| LetPr of exp * exp
| IterPr of prem * iterprem
| DebugPr of exp

and iterprem = iter * var list * var list

and rule = rule' Util.Source.phrase

and rule' = id * notexp * prem list

and rulegroup = rulegroup' Util.Source.phrase

and rulegroup' = id * rule list

and elsegroup = elsegroup' Util.Source.phrase

and elsegroup' = id * rule

and clause = clause' Util.Source.phrase

and clause' = arg list * exp * prem list

and elseclause = clause

and elseclause' = clause'

and tablerow = tablerow' Util.Source.phrase

and tablerow' = arg list * exp

and hint = El.hint

val var_to_yojson : var -> Yojson.Safe.t

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

val typ_to_yojson : typ -> Yojson.Safe.t

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

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

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

val nottyp_to_yojson : nottyp -> Yojson.Safe.t

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

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

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

val deftyp_to_yojson : deftyp -> Yojson.Safe.t

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

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

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

val typfield_to_yojson : typfield -> Yojson.Safe.t

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

val typorigin_to_yojson : typorigin -> Yojson.Safe.t

val typorigin_of_yojson : 
  Yojson.Safe.t ->
  typorigin Ppx_deriving_yojson_runtime.error_or

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

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

val typcase_to_yojson : typcase -> Yojson.Safe.t

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

val vid_to_yojson : vid -> Yojson.Safe.t

val vid_of_yojson : Yojson.Safe.t -> vid Ppx_deriving_yojson_runtime.error_or

val vnote_to_yojson : vnote -> Yojson.Safe.t

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

val value_to_yojson : value -> Yojson.Safe.t

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

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

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

val valuefield_to_yojson : valuefield -> Yojson.Safe.t

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

val valuecase_to_yojson : valuecase -> Yojson.Safe.t

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

val numop_to_yojson : numop -> Yojson.Safe.t

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

val unop_to_yojson : unop -> Yojson.Safe.t

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

val binop_to_yojson : binop -> Yojson.Safe.t

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

val cmpop_to_yojson : cmpop -> Yojson.Safe.t

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

val optyp_to_yojson : optyp -> Yojson.Safe.t

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

val exp_to_yojson : exp -> Yojson.Safe.t

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

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

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

val notexp_to_yojson : notexp -> Yojson.Safe.t

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

val iterexp_to_yojson : iterexp -> Yojson.Safe.t

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

val pattern_to_yojson : pattern -> Yojson.Safe.t

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

val path_to_yojson : path -> Yojson.Safe.t

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

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

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

val param_to_yojson : param -> Yojson.Safe.t

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

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

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

val tparam_to_yojson : tparam -> Yojson.Safe.t

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

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

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

val arg_to_yojson : arg -> Yojson.Safe.t

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

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

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

val targ_to_yojson : targ -> Yojson.Safe.t

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

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

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

val prem_to_yojson : prem -> Yojson.Safe.t

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

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

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

val iterprem_to_yojson : iterprem -> Yojson.Safe.t

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

val rule_to_yojson : rule -> Yojson.Safe.t

val rule_of_yojson : Yojson.Safe.t -> rule Ppx_deriving_yojson_runtime.error_or

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

val rule'_of_yojson : 
  Yojson.Safe.t ->
  rule' 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 clause_to_yojson : clause -> Yojson.Safe.t

val clause_of_yojson : 
  Yojson.Safe.t ->
  clause Ppx_deriving_yojson_runtime.error_or

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

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

val elseclause_to_yojson : elseclause -> Yojson.Safe.t

val elseclause_of_yojson : 
  Yojson.Safe.t ->
  elseclause Ppx_deriving_yojson_runtime.error_or

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

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

val tablerow_to_yojson : tablerow -> Yojson.Safe.t

val tablerow_of_yojson : 
  Yojson.Safe.t ->
  tablerow Ppx_deriving_yojson_runtime.error_or

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

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

val hint_to_yojson : hint -> Yojson.Safe.t

val hint_of_yojson : Yojson.Safe.t -> hint Ppx_deriving_yojson_runtime.error_or

val _ : Yojson.Safe.t -> hint Ppx_deriving_yojson_runtime.error_or

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