package p4spectec

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

Module Ali.Mixops

module Value = Runtime.Value
val mop_exp_param : Domain.Mixop.t
val mop_def_param : Domain.Mixop.t
val mop_iterprem : Domain.Mixop.t
val mop_rel_prem : Domain.Mixop.t
val mop_if_prem : Domain.Mixop.t
val mop_if_hold_prem : Domain.Mixop.t
val mop_if_nothold_prem : Domain.Mixop.t
val mop_let_prem : Domain.Mixop.t
val mop_iter_prem : Domain.Mixop.t
val mop_debug_prem : Domain.Mixop.t
val mop_rulematch : Domain.Mixop.t
val mop_rulepath : Domain.Mixop.t
val mop_rulegroup : Domain.Mixop.t
val mop_elsegroup : Domain.Mixop.t
val mop_clause : Domain.Mixop.t
val mop_tablerow : Domain.Mixop.t
val mop_extern_typ_def : Domain.Mixop.t
val mop_typ_def : Domain.Mixop.t
val mop_extern_rel_def : Domain.Mixop.t
val mop_rel_def : Domain.Mixop.t
val mop_extern_func_def : Domain.Mixop.t
val mop_builtin_func_def : Domain.Mixop.t
val mop_table_func_def : Domain.Mixop.t
val mop_func_def : Domain.Mixop.t