package p4spectec

  1. Overview
  2. Docs
package p4spectec
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Structure.Struct

module Mixfix = Domain.Mixfix
module Typ = Runtime.Type.Typ
module Typdef = Runtime.Type.Typdef
val struct_params : Ctx.t -> Lang.Al.param list -> Lang.Sl.param list
val struct_params_from_args : Ctx.t -> Lang.Al.param list -> Lang.Al.arg list -> Lang.Sl.param list
val internalize_iter : ?iterprems:??? -> Lang.Al.prem -> Lang.Al.prem * Lang.Al.iterprem list
val struct_prems : Lang.Al.prem list -> Ol.Ast.instr -> Ol.Ast.instr
val struct_prems' : (Lang.Al.prem * Lang.Al.iterprem list) list -> Ol.Ast.instr -> Ol.Ast.instr
val struct_rule_matches : Domain.Lib.IdSet.t -> Lang.Al.exp list list -> Lang.Al.prem list list -> Lang.Al.exp list option -> Lang.Al.prem list option -> Lang.Al.exp list * Lang.Al.prem list list * Lang.Al.prem list option
val struct_rule_paths : Ol.Ast.rel_signature -> Lang.Al.prem list -> Lang.Al.exp list -> Ol.Ast.block
val struct_rule_group : Ol.Ast.rel_signature -> Lang.Al.prem list -> Lang.Al.id -> Lang.Al.exp list -> Lang.Al.rulepath list -> Ol.Ast.block
val struct_else_group : Ol.Ast.rel_signature -> Lang.Al.prem list -> Lang.Al.id -> Lang.Al.exp list -> Lang.Al.rulepath -> Ol.Ast.block
val struct_clause_path : (Lang.Al.prem list * Lang.Al.exp) -> Ol.Ast.block
val struct_elseclause_path : (Lang.Al.prem list * Lang.Al.exp) -> Ol.Ast.block
val struct_tablerow_path : (Lang.Al.prem list * Lang.Al.exp) -> Ol.Ast.block
val struct_def : final:bool -> Ctx.t -> Lang.Al.def -> Lang.Sl.def
val struct_defined_rel_def : final:bool -> Ctx.t -> Util.Source.region -> Lang.Al.id -> Lang.Al.nottyp -> Lang.Hints.Input.t -> Lang.Al.rulegroup list -> Lang.Al.elsegroup option -> Lang.Al.hint list -> Lang.Sl.def
val struct_extern_dec_def : Ctx.t -> Util.Source.region -> Lang.Al.id -> Lang.Al.tparam list -> Lang.Al.param list -> Lang.Al.typ -> Lang.Al.hint list -> Lang.Sl.def
val struct_builtin_dec_def : Ctx.t -> Util.Source.region -> Lang.Al.id -> Lang.Al.tparam list -> Lang.Al.param list -> Lang.Al.typ -> Lang.Al.hint list -> Lang.Sl.def
val struct_table_dec_def : final:bool -> Ctx.t -> Util.Source.region -> Lang.Al.id -> Lang.Al.param list -> Lang.Al.tablerow list -> Lang.Al.typ -> Lang.Al.hint list -> Lang.Sl.def
val struct_func_dec_def : final:bool -> Ctx.t -> Util.Source.region -> Lang.Al.id -> Lang.Al.tparam list -> Lang.Al.param list -> Lang.Al.typ -> Lang.Al.clause list -> Lang.Al.clause option -> Lang.Al.hint list -> Lang.Sl.def
val struct_spec : final:bool -> Lang.Al.spec -> Lang.Sl.spec