Module `Lang.Sl`

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'

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'

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'

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'

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'

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

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'

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'

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'

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'

type param = param' Util.Source.phrase

and param' =

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

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

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'

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'

and dangle = bool

and holdcase =

| BothH of block * block
| HoldH of block * dangle
| NotHoldH of block * dangle

and case = guard * block

and guard =

| BoolG of bool
| CmpG of cmpop * optyp * exp
| SubG of typ
| MatchG of pattern
| MemG of exp

and iid = int

and inote = {

iid : iid;

}

and instr = (instr', inote) Util.Source.note_phrase

and instr' =

| IfI of exp * iterexp list * block * dangle
| HoldI of id * notexp * iterexp list * holdcase
| CaseI of exp * case list * dangle
| GroupI of id * rel_signature * exp list * block
| LetI of exp * exp * iterinstr list * block
| RuleI of id * notexp * Hints.Input.t * iterinstr list * block
| ResultI of rel_signature * exp list
| ReturnI of exp
| DebugI of exp * instr

and block = instr list

and elseblock = instr list

and iterinstr = Il.iterprem

and hint = El.hint

and rel_signature = nottyp * Hints.Input.t

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

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

val dangle_to_yojson : dangle -> Yojson.Safe.t

val dangle_of_yojson : 
  Yojson.Safe.t ->
  dangle Ppx_deriving_yojson_runtime.error_or

val holdcase_to_yojson : holdcase -> Yojson.Safe.t

val holdcase_of_yojson : 
  Yojson.Safe.t ->
  holdcase Ppx_deriving_yojson_runtime.error_or

val case_to_yojson : case -> Yojson.Safe.t

val case_of_yojson : Yojson.Safe.t -> case Ppx_deriving_yojson_runtime.error_or

val guard_to_yojson : guard -> Yojson.Safe.t

val guard_of_yojson : 
  Yojson.Safe.t ->
  guard Ppx_deriving_yojson_runtime.error_or

val iid_to_yojson : iid -> Yojson.Safe.t

val iid_of_yojson : Yojson.Safe.t -> iid Ppx_deriving_yojson_runtime.error_or

val inote_to_yojson : inote -> Yojson.Safe.t

val inote_of_yojson : 
  Yojson.Safe.t ->
  inote Ppx_deriving_yojson_runtime.error_or

val instr_to_yojson : instr -> Yojson.Safe.t

val instr_of_yojson : 
  Yojson.Safe.t ->
  instr Ppx_deriving_yojson_runtime.error_or

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

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

val block_to_yojson : block -> Yojson.Safe.t

val block_of_yojson : 
  Yojson.Safe.t ->
  block Ppx_deriving_yojson_runtime.error_or

val elseblock_to_yojson : elseblock -> Yojson.Safe.t

val elseblock_of_yojson : 
  Yojson.Safe.t ->
  elseblock Ppx_deriving_yojson_runtime.error_or

val iterinstr_to_yojson : iterinstr -> Yojson.Safe.t

val iterinstr_of_yojson : 
  Yojson.Safe.t ->
  iterinstr 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 rel_signature_to_yojson : rel_signature -> Yojson.Safe.t

val rel_signature_of_yojson : 
  Yojson.Safe.t ->
  rel_signature Ppx_deriving_yojson_runtime.error_or

type externrel = id * rel_signature * exp list * hint list

val externrel_to_yojson : externrel -> Yojson.Safe.t

val externrel_of_yojson : 
  Yojson.Safe.t ->
  externrel Ppx_deriving_yojson_runtime.error_or

type rel = id * rel_signature * exp list * block * elseblock option * hint list

val rel_to_yojson : rel -> Yojson.Safe.t

val rel_of_yojson : Yojson.Safe.t -> rel Ppx_deriving_yojson_runtime.error_or

type externfunc = id * tparam list * param list * typ * hint list

val externfunc_to_yojson : externfunc -> Yojson.Safe.t

val externfunc_of_yojson : 
  Yojson.Safe.t ->
  externfunc Ppx_deriving_yojson_runtime.error_or

type builtinfunc = id * tparam list * param list * typ * hint list

val builtinfunc_to_yojson : builtinfunc -> Yojson.Safe.t

val builtinfunc_of_yojson : 
  Yojson.Safe.t ->
  builtinfunc Ppx_deriving_yojson_runtime.error_or

type tablerow = exp list * exp * block

val tablerow_to_yojson : tablerow -> Yojson.Safe.t

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

type tablefunc = id * param list * typ * tablerow list * hint list

val tablefunc_to_yojson : tablefunc -> Yojson.Safe.t

val tablefunc_of_yojson : 
  Yojson.Safe.t ->
  tablefunc Ppx_deriving_yojson_runtime.error_or

type definedfunc =
  id * tparam list * param list * typ * block * elseblock option * hint list

val definedfunc_to_yojson : definedfunc -> Yojson.Safe.t

val definedfunc_of_yojson : 
  Yojson.Safe.t ->
  definedfunc 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 externrel
| RelD of rel
| ExternDecD of externfunc
| BuiltinDecD of builtinfunc
| TableDecD of tablefunc
| FuncDecD of definedfunc

val def_to_yojson : def -> Yojson.Safe.t

val def_of_yojson : Yojson.Safe.t -> def Ppx_deriving_yojson_runtime.error_or

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

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

type spec = def list

val spec_to_yojson : spec -> Yojson.Safe.t

val spec_of_yojson : Yojson.Safe.t -> spec Ppx_deriving_yojson_runtime.error_or

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

module Eq : sig ... end

module Free : sig ... end

module Print : sig ... end

Install

dune-project
Dependency

Authors

Maintainers

Sources

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

Module `Lang.Sl`

package p4spectec

Install

dune-project Dependency

Authors

Maintainers

Sources

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

Module Lang.Sl

dune-project
Dependency

Module `Lang.Sl`