package p4spectec

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

Module Common.Mixops

module Value = Runtime.Value
val mop_quest : Domain.Mixop.t
val mop_star : Domain.Mixop.t
val mop_vari : Domain.Mixop.t
val mop_bool_typ : Domain.Mixop.t
val mop_num_typ_nat : Domain.Mixop.t
val mop_num_typ_int : Domain.Mixop.t
val mop_text_typ : Domain.Mixop.t
val mop_var_typ : Domain.Mixop.t
val mop_tuple_typ : Domain.Mixop.t
val mop_iter_typ : Domain.Mixop.t
val mop_func_typ : Domain.Mixop.t
val mop_plain_deftyp : Domain.Mixop.t
val mop_typfield : Domain.Mixop.t
val mop_struct_deftyp : Domain.Mixop.t
val mop_typcase : Domain.Mixop.t
val mop_variant_deftyp : Domain.Mixop.t
val mop_bool_value : Domain.Mixop.t
val mop_num_value_nat : Domain.Mixop.t
val mop_num_value_int : Domain.Mixop.t
val mop_text_value : Domain.Mixop.t
val mop_valuefield : Domain.Mixop.t
val mop_struct_value : Domain.Mixop.t
val mop_valuecase : Domain.Mixop.t
val mop_case_value : Domain.Mixop.t
val mop_tuple_value : Domain.Mixop.t
val mop_opt_value : Domain.Mixop.t
val mop_list_value : Domain.Mixop.t
val mop_func_value : Domain.Mixop.t
val mop_extern_value : Domain.Mixop.t
val mop_not_unop : Domain.Mixop.t
val mop_plus_unop : Domain.Mixop.t
val mop_minus_unop : Domain.Mixop.t
val mop_and_binop : Domain.Mixop.t
val mop_or_binop : Domain.Mixop.t
val mop_impl_binop : Domain.Mixop.t
val mop_equiv_binop : Domain.Mixop.t
val mop_add_binop : Domain.Mixop.t
val mop_sub_binop : Domain.Mixop.t
val mop_mul_binop : Domain.Mixop.t
val mop_div_binop : Domain.Mixop.t
val mop_mod_binop : Domain.Mixop.t
val mop_pow_binop : Domain.Mixop.t
val mop_eq_cmpop : Domain.Mixop.t
val mop_ne_cmpop : Domain.Mixop.t
val mop_lt_cmpop : Domain.Mixop.t
val mop_le_cmpop : Domain.Mixop.t
val mop_gt_cmpop : Domain.Mixop.t
val mop_ge_cmpop : Domain.Mixop.t
val mop_exp_arg : Domain.Mixop.t
val mop_def_arg : Domain.Mixop.t
val mop_bool_exp : Domain.Mixop.t
val mop_num_exp_nat : Domain.Mixop.t
val mop_num_exp_int : Domain.Mixop.t
val mop_text_exp : Domain.Mixop.t
val mop_var_exp : Domain.Mixop.t
val mop_un_exp : Domain.Mixop.t
val mop_bin_exp : Domain.Mixop.t
val mop_cmp_exp : Domain.Mixop.t
val mop_upcast_exp : Domain.Mixop.t
val mop_downcast_exp : Domain.Mixop.t
val mop_sub_exp : Domain.Mixop.t
val mop_match_exp : Domain.Mixop.t
val mop_tuple_exp : Domain.Mixop.t
val mop_expcase : Domain.Mixop.t
val mop_case_exp : Domain.Mixop.t
val mop_iter_exp : Domain.Mixop.t
val mop_expfield : Domain.Mixop.t
val mop_struct_exp : Domain.Mixop.t
val mop_opt_exp : Domain.Mixop.t
val mop_list_exp : Domain.Mixop.t
val mop_cons_exp : Domain.Mixop.t
val mop_cat_exp : Domain.Mixop.t
val mop_mem_exp : Domain.Mixop.t
val mop_len_exp : Domain.Mixop.t
val mop_dot_exp : Domain.Mixop.t
val mop_idx_exp : Domain.Mixop.t
val mop_slice_exp : Domain.Mixop.t
val mop_upd_exp : Domain.Mixop.t
val mop_call_exp : Domain.Mixop.t
val mop_root_path : Domain.Mixop.t
val mop_idx_path : Domain.Mixop.t
val mop_slice_path : Domain.Mixop.t
val mop_dot_path : Domain.Mixop.t
val mop_case_pattern : Domain.Mixop.t
val mop_list_cons_pattern : Domain.Mixop.t
val mop_list_fixed_pattern : Domain.Mixop.t
val mop_list_nil_pattern : Domain.Mixop.t
val mop_opt_some_pattern : Domain.Mixop.t
val mop_opt_none_pattern : Domain.Mixop.t
val mop_iterexp : Domain.Mixop.t