Module `Common.Unboot`

module Atom = Domain.Atom

module Mixfix = Domain.Mixfix

module Il = Lang.Il

module Typ = Runtime.Type.Typ

module Value = Runtime.Value

module VCache = Runtime.Dynamic.Caches.ValueCache

val error : string -> 'a

val unboot_value_mtchtbl : 
  Spectec.Caches.Il.value Runtime.Value.Get.mtchtbl Stdlib.ref

val unboot_typ_mtchtbl : 
  Spectec.Caches.Il.typ Runtime.Value.Get.mtchtbl Stdlib.ref

val unboot_deftyp_mtchtbl : 
  Spectec.Caches.Il.deftyp Runtime.Value.Get.mtchtbl Stdlib.ref

val unboot_unop_mtchtbl : 
  Spectec.Caches.Il.unop Runtime.Value.Get.mtchtbl Stdlib.ref

val unboot_binop_mtchtbl : 
  Spectec.Caches.Il.binop Runtime.Value.Get.mtchtbl Stdlib.ref

val unboot_cmpop_mtchtbl : 
  Spectec.Caches.Il.cmpop Runtime.Value.Get.mtchtbl Stdlib.ref

val unboot_arg_mtchtbl : 
  Spectec.Caches.Il.arg Runtime.Value.Get.mtchtbl Stdlib.ref

val unboot_exp_mtchtbl : 
  Spectec.Caches.Il.exp Runtime.Value.Get.mtchtbl Stdlib.ref

val unboot_path_mtchtbl : 
  Spectec.Caches.Il.path Runtime.Value.Get.mtchtbl Stdlib.ref

val unboot_pattern_mtchtbl : 
  Spectec.Caches.Il.pattern Runtime.Value.Get.mtchtbl Stdlib.ref

val unboot_id : Runtime.Value.t -> Spectec.Caches.Il.id

val unboot_atom : Runtime.Value.t -> Spectec.Caches.Il.atom

val unboot_mixop : Runtime.Value.t -> Spectec.Caches.Il.mixop

val unboot_iter_tbl : Spectec.Caches.Il.iter Runtime.Value.Get.mtchtbl

val unboot_iter : Runtime.Value.t -> Spectec.Caches.Il.iter

val unboot_iters : Runtime.Value.t -> Spectec.Caches.Il.iter list

val unboot_vari : Runtime.Value.t -> Spectec.Caches.Il.var

val unboot_varis : Runtime.Value.t -> Spectec.Caches.Il.var list

val unboot_typ : Runtime.Value.t -> Spectec.Caches.Il.typ

val unboot_typs : Runtime.Value.t -> Spectec.Caches.Il.typ list

val unboot_bool_typ : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Spectec.Caches.Il.typ

val unboot_num_typ_nat : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Spectec.Caches.Il.typ

val unboot_num_typ_int : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Spectec.Caches.Il.typ

val unboot_text_typ : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Spectec.Caches.Il.typ

val unboot_var_typ : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Spectec.Caches.Il.typ

val unboot_tuple_typ : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Spectec.Caches.Il.typ

val unboot_iter_typ : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Spectec.Caches.Il.typ

val unboot_func_typ : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Spectec.Caches.Il.typ

val unboot_targ : Runtime.Value.t -> Spectec.Caches.Il.targ

val unboot_targs : Runtime.Value.t -> Spectec.Caches.Il.targ list

val unboot_tparam : Runtime.Value.t -> Spectec.Caches.Il.tparam

val unboot_tparams : Runtime.Value.t -> Spectec.Caches.Il.tparam list

val unboot_deftyp : Runtime.Value.t -> Spectec.Caches.Il.deftyp

val unboot_plain_deftyp : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Spectec.Caches.Il.deftyp

val unboot_typfield : Runtime.Value.t -> Spectec.Caches.Il.typfield

val unboot_typfields : Runtime.Value.t -> Spectec.Caches.Il.typfield list

val unboot_struct_deftyp : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Spectec.Caches.Il.deftyp

val unboot_typcase : Runtime.Value.t -> Spectec.Caches.Il.typcase

val unboot_typcases : Runtime.Value.t -> Spectec.Caches.Il.typcase list

val unboot_variant_deftyp : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Spectec.Caches.Il.deftyp

val unboot_value : Runtime.Value.t -> Spectec.Caches.Il.value

val unboot_values : Runtime.Value.t -> Lang.Il.value list

val unboot_bool_value : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Spectec.Caches.Il.value

val unboot_num_value_nat : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Spectec.Caches.Il.value

val unboot_num_value_int : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Spectec.Caches.Il.value

val unboot_text_value : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Spectec.Caches.Il.value

val unboot_valuefield : Runtime.Value.t -> Spectec.Caches.Il.valuefield

val unboot_valuefields : Runtime.Value.t -> Lang.Il.valuefield list

val unboot_struct_value : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Spectec.Caches.Il.value

val unboot_valuecase : Runtime.Value.t -> Spectec.Caches.Il.valuecase

val unboot_variant_value : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Spectec.Caches.Il.value

val unboot_tuple_value : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Spectec.Caches.Il.value

val unboot_value_opt : Runtime.Value.t -> Lang.Il.value option

val unboot_opt_value : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Spectec.Caches.Il.value

val unboot_list_value : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Spectec.Caches.Il.value

val unboot_func_value : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Spectec.Caches.Il.value

val unboot_extern_value : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Spectec.Caches.Il.value

val unboot_unop : Runtime.Value.t -> Spectec.Caches.Il.unop

val unboot_not_unop : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Spectec.Caches.Il.unop

val unboot_plus_unop : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Spectec.Caches.Il.unop

val unboot_minus_unop : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Spectec.Caches.Il.unop

val unboot_binop : Runtime.Value.t -> Spectec.Caches.Il.binop

val unboot_and_binop : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Spectec.Caches.Il.binop

val unboot_or_binop : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Spectec.Caches.Il.binop

val unboot_impl_binop : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Spectec.Caches.Il.binop

val unboot_equiv_binop : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Spectec.Caches.Il.binop

val unboot_add_binop : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Spectec.Caches.Il.binop

val unboot_sub_binop : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Spectec.Caches.Il.binop

val unboot_mul_binop : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Spectec.Caches.Il.binop

val unboot_div_binop : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Spectec.Caches.Il.binop

val unboot_mod_binop : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Spectec.Caches.Il.binop

val unboot_pow_binop : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Spectec.Caches.Il.binop

val unboot_cmpop : Runtime.Value.t -> Spectec.Caches.Il.cmpop

val unboot_eq_cmpop : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Spectec.Caches.Il.cmpop

val unboot_ne_cmpop : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Spectec.Caches.Il.cmpop

val unboot_lt_cmpop : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Spectec.Caches.Il.cmpop

val unboot_le_cmpop : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Spectec.Caches.Il.cmpop

val unboot_gt_cmpop : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Spectec.Caches.Il.cmpop

val unboot_ge_cmpop : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Spectec.Caches.Il.cmpop

val unboot_arg : Runtime.Value.t -> Spectec.Caches.Il.arg

val unboot_exp_arg : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Spectec.Caches.Il.arg

val unboot_def_arg : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Spectec.Caches.Il.arg

val unboot_args : Runtime.Value.t -> Spectec.Caches.Il.arg list

val unboot_exp : Runtime.Value.t -> Spectec.Caches.Il.exp

val unboot_exps : Runtime.Value.t -> Spectec.Caches.Il.exp list

val unboot_exp_opt : Runtime.Value.t -> Spectec.Caches.Il.exp option

val unboot_expfield : 
  Runtime.Value.t ->
  Spectec.Caches.Il.atom * Spectec.Caches.Il.exp

val unboot_expfields : 
  Runtime.Value.t ->
  (Spectec.Caches.Il.atom * Spectec.Caches.Il.exp) list

val unboot_bool_exp : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Spectec.Caches.Il.exp

val unboot_num_exp_nat : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Spectec.Caches.Il.exp

val unboot_num_exp_int : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Spectec.Caches.Il.exp

val unboot_text_exp : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Spectec.Caches.Il.exp

val unboot_var_exp : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Spectec.Caches.Il.exp

val unboot_un_exp : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Spectec.Caches.Il.exp

val unboot_bin_exp : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Spectec.Caches.Il.exp

val unboot_cmp_exp : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Spectec.Caches.Il.exp

val unboot_upcast_exp : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Spectec.Caches.Il.exp

val unboot_downcast_exp : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Spectec.Caches.Il.exp

val unboot_sub_exp : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Spectec.Caches.Il.exp

val unboot_match_exp : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Spectec.Caches.Il.exp

val unboot_tuple_exp : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Spectec.Caches.Il.exp

val unboot_expcase : 
  Runtime.Value.t ->
  Spectec.Caches.Il.mixop * Spectec.Caches.Il.exp list

val unboot_case_exp : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Spectec.Caches.Il.exp

val unboot_str_exp : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Spectec.Caches.Il.exp

val unboot_opt_exp : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Spectec.Caches.Il.exp

val unboot_list_exp : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Spectec.Caches.Il.exp

val unboot_cons_exp : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Spectec.Caches.Il.exp

val unboot_cat_exp : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Spectec.Caches.Il.exp

val unboot_mem_exp : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Spectec.Caches.Il.exp

val unboot_len_exp : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Spectec.Caches.Il.exp

val unboot_dot_exp : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Spectec.Caches.Il.exp

val unboot_idx_exp : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Spectec.Caches.Il.exp

val unboot_slice_exp : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Spectec.Caches.Il.exp

val unboot_upd_exp : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Spectec.Caches.Il.exp

val unboot_call_exp : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Spectec.Caches.Il.exp

val unboot_iter_exp : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Spectec.Caches.Il.exp

val unboot_path : Runtime.Value.t -> Spectec.Caches.Il.path

val unboot_root_path : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Spectec.Caches.Il.path

val unboot_idx_path : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Spectec.Caches.Il.path

val unboot_slice_path : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Spectec.Caches.Il.path

val unboot_dot_path : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Spectec.Caches.Il.path

val unboot_pattern : Runtime.Value.t -> Spectec.Caches.Il.pattern

val unboot_inj_pattern : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Spectec.Caches.Il.pattern

val unboot_cons_pattern : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Spectec.Caches.Il.pattern

val unboot_fixed_pattern : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Spectec.Caches.Il.pattern

val unboot_nil_pattern : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Spectec.Caches.Il.pattern

val unboot_some_pattern : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Spectec.Caches.Il.pattern

val unboot_none_pattern : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Spectec.Caches.Il.pattern

val unboot_iterexp : Runtime.Value.t -> Spectec.Caches.Il.iterexp

val unboot_iterexps : Runtime.Value.t -> Spectec.Caches.Il.iterexp list

Install

dune-project
Dependency

Authors

Maintainers

Sources

doc/spectec/Spectec/Common/Unboot/index.html

Module `Common.Unboot`

package p4spectec

Install

dune-project Dependency

Authors

Maintainers

Sources

doc/spectec/Spectec/Common/Unboot/index.html

Module Common.Unboot

dune-project
Dependency

Module `Common.Unboot`