SpecTec_SL (p.p4spectec.0.1.2.doc.p4spectec.interface.Interface.SpecTec

include module type of struct include Spectec.Common.Boot end

module Mixop = Spectec.Common.Boot.Mixop

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

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

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

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

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

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

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

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

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

val boot_bool_typ : Util.Source.region -> Runtime.Value.t

val boot_num_typ : Util.Source.region -> Lang.Xl.Num.typ -> Runtime.Value.t

val boot_text_typ : Util.Source.region -> Runtime.Value.t

val boot_var_typ : 
  Util.Source.region ->
  Spectec.Caches.Il.id ->
  Spectec.Caches.Il.targ list ->
  Runtime.Value.t

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

val boot_iter_typ : 
  Util.Source.region ->
  Spectec.Caches.Il.typ ->
  Spectec.Caches.Il.iter ->
  Runtime.Value.t

val boot_func_typ : Util.Source.region -> Runtime.Value.t

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

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

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

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

val boot_struct_deftyp : 
  Util.Source.region ->
  Spectec.Caches.Il.typfield list ->
  Runtime.Value.t

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

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

val boot_variant_deftyp : 
  Util.Source.region ->
  Spectec.Caches.Il.typcase list ->
  Runtime.Value.t

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

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

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

val boot_bool_value : Util.Source.region -> bool -> Runtime.Value.t

val boot_num_value : 
  Util.Source.region ->
  Spectec.Caches.Il.num ->
  Runtime.Value.t

val boot_text_value : Util.Source.region -> string -> Runtime.Value.t

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

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

val boot_struct_value : 
  Util.Source.region ->
  Spectec.Caches.Il.valuefield list ->
  Runtime.Value.t

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

val boot_case_value : 
  Util.Source.region ->
  Spectec.Caches.Il.valuecase ->
  Runtime.Value.t

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

val boot_opt_value : 
  Util.Source.region ->
  Spectec.Caches.Il.value option ->
  Runtime.Value.t

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

val boot_func_value : 
  Util.Source.region ->
  Spectec.Caches.Il.id ->
  Runtime.Value.t

val boot_extern_value : Util.Source.region -> Yojson.Safe.t -> Runtime.Value.t

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

val boot_unop_bool : Lang.Xl.Bool.unop -> Runtime.Value.t

val boot_unop_num : Lang.Xl.Num.unop -> Runtime.Value.t

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

val boot_binop_bool : Lang.Xl.Bool.binop -> Runtime.Value.t

val boot_binop_num : Lang.Xl.Num.binop -> Runtime.Value.t

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

val boot_cmpop_bool : Lang.Xl.Bool.cmpop -> Runtime.Value.t

val boot_cmpop_num : Lang.Xl.Num.cmpop -> Runtime.Value.t

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

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

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

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

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

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

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

val boot_bool_exp : Util.Source.region -> bool -> Runtime.Value.t

val boot_num_exp : 
  Util.Source.region ->
  Spectec.Caches.Il.num ->
  Runtime.Value.t

val boot_text_exp : 
  Util.Source.region ->
  Spectec.Caches.Il.text ->
  Runtime.Value.t

val boot_var_exp : 
  Util.Source.region ->
  Spectec.Caches.Il.id ->
  Runtime.Value.t

val boot_un_exp : 
  Util.Source.region ->
  Spectec.Caches.Il.unop ->
  Spectec.Caches.Il.exp ->
  Runtime.Value.t

val boot_bin_exp : 
  Util.Source.region ->
  Spectec.Caches.Il.binop ->
  Spectec.Caches.Il.exp ->
  Spectec.Caches.Il.exp ->
  Runtime.Value.t

val boot_cmp_exp : 
  Util.Source.region ->
  Spectec.Caches.Il.cmpop ->
  Spectec.Caches.Il.exp ->
  Spectec.Caches.Il.exp ->
  Runtime.Value.t

val boot_upcast_exp : 
  Util.Source.region ->
  Spectec.Caches.Il.typ ->
  Spectec.Caches.Il.exp ->
  Runtime.Value.t

val boot_downcast_exp : 
  Util.Source.region ->
  Spectec.Caches.Il.typ ->
  Spectec.Caches.Il.exp ->
  Runtime.Value.t

val boot_sub_exp : 
  Util.Source.region ->
  Spectec.Caches.Il.exp ->
  Spectec.Caches.Il.typ ->
  Runtime.Value.t

val boot_match_exp : 
  Util.Source.region ->
  Spectec.Caches.Il.exp ->
  Spectec.Caches.Il.pattern ->
  Runtime.Value.t

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

val boot_expcase : Spectec.Caches.Il.notexp -> Runtime.Value.t

val boot_case_exp : 
  Util.Source.region ->
  Spectec.Caches.Il.notexp ->
  Runtime.Value.t

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

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

val boot_struct_exp : 
  Util.Source.region ->
  (Spectec.Caches.Il.atom * Spectec.Caches.Il.exp) list ->
  Runtime.Value.t

val boot_opt_exp : 
  Util.Source.region ->
  Spectec.Caches.Il.exp option ->
  Runtime.Value.t

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

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

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

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

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

val boot_dot_exp : 
  Util.Source.region ->
  Spectec.Caches.Il.exp ->
  Spectec.Caches.Il.atom ->
  Runtime.Value.t

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

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

val boot_upd_exp : 
  Util.Source.region ->
  Spectec.Caches.Il.exp ->
  Spectec.Caches.Il.path ->
  Spectec.Caches.Il.exp ->
  Runtime.Value.t

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

val boot_iter_exp : 
  Util.Source.region ->
  Spectec.Caches.Il.exp ->
  Spectec.Caches.Il.iterexp ->
  Runtime.Value.t

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

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

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

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

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

include module type of struct include Spectec.Common.Unboot end

module Atom = Spectec.Common.Unboot.Atom

module Mixfix = Spectec.Common.Unboot.Mixfix

module Typ = Spectec.Common.Unboot.Typ

module Value = Spectec.Common.Unboot.Value

val error : string -> 'a

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

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

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

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

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

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

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

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

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

val unboot_pattern_mtchtbl : 
  Spectec.Caches.Il.pattern Runtime.Value.Get.mtchtbl 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

include module type of struct include Spectec.Sli.Boot end

val boot_param : Lang.Sl.param -> Runtime.Value.t

val boot_params : Lang.Sl.param list -> Runtime.Value.t

val boot_iterinstr : Lang.Sl.iterinstr -> Runtime.Value.t

val boot_iterinstrs : Lang.Sl.iterinstr list -> Runtime.Value.t

val boot_iterexps : Lang.Sl.iterexp list -> Runtime.Value.t

val boot_instr : Lang.Sl.instr -> Runtime.Value.t

val boot_if_instr : 
  Util.Source.region ->
  Lang.Sl.exp ->
  Lang.Sl.iterexp list ->
  Lang.Sl.block ->
  Runtime.Value.t

val boot_holdcase : Lang.Sl.holdcase -> Runtime.Value.t

val boot_hold_instr : 
  Util.Source.region ->
  Lang.Sl.id ->
  Lang.Sl.notexp ->
  Lang.Sl.iterexp list ->
  Lang.Sl.holdcase ->
  Runtime.Value.t

val boot_guard : Lang.Sl.guard -> Runtime.Value.t

val boot_case : Lang.Sl.case -> Runtime.Value.t

val boot_cases : Lang.Sl.case list -> Runtime.Value.t

val boot_case_instr : 
  Util.Source.region ->
  Lang.Sl.exp ->
  Lang.Sl.case list ->
  Runtime.Value.t

val boot_group_instr : 
  Util.Source.region ->
  Lang.Sl.id ->
  Lang.Sl.nottyp ->
  Lang.Hints.Input.t ->
  Lang.Sl.exp list ->
  Lang.Sl.block ->
  Runtime.Value.t

val boot_let_instr : 
  Util.Source.region ->
  Lang.Sl.exp ->
  Lang.Sl.exp ->
  Lang.Sl.iterinstr list ->
  Lang.Sl.block ->
  Runtime.Value.t

val boot_rule_instr : 
  Util.Source.region ->
  Lang.Sl.id ->
  Lang.Sl.notexp ->
  Lang.Hints.Input.t ->
  Lang.Sl.iterinstr list ->
  Lang.Sl.block ->
  Runtime.Value.t

val boot_result_instr : 
  Util.Source.region ->
  Lang.Sl.nottyp ->
  Lang.Hints.Input.t ->
  Lang.Sl.exp list ->
  Runtime.Value.t

val boot_return_instr : Util.Source.region -> Lang.Sl.exp -> Runtime.Value.t

val boot_debug_instr : 
  Util.Source.region ->
  Lang.Sl.exp ->
  Lang.Sl.instr ->
  Runtime.Value.t

val boot_instrs : Lang.Sl.block -> Runtime.Value.t

val boot_block : Lang.Sl.block -> Runtime.Value.t

val boot_elsblock_opt : Lang.Sl.elseblock option -> Runtime.Value.t

val boot_tablerow : Lang.Sl.tablerow -> Runtime.Value.t

val boot_tablerows : Lang.Sl.tablerow list -> Runtime.Value.t

val boot_def : Lang.Sl.def -> Runtime.Value.t option

val boot_extern_typ_def : Util.Source.region -> Lang.Sl.id -> Runtime.Value.t

val boot_typ_def : 
  Util.Source.region ->
  Lang.Sl.id ->
  Lang.Sl.tparam list ->
  Lang.Sl.deftyp ->
  Runtime.Value.t

val boot_extern_rel_def : 
  Util.Source.region ->
  Lang.Sl.id ->
  Lang.Sl.nottyp ->
  Lang.Hints.Input.t ->
  Lang.Sl.exp list ->
  Runtime.Value.t

val boot_rel_def : 
  Util.Source.region ->
  Lang.Sl.id ->
  Lang.Sl.nottyp ->
  Lang.Hints.Input.t ->
  Lang.Sl.exp list ->
  Lang.Sl.block ->
  Lang.Sl.elseblock option ->
  Runtime.Value.t

val boot_extern_func_def : 
  Util.Source.region ->
  Lang.Sl.id ->
  Lang.Sl.tparam list ->
  Lang.Sl.param list ->
  Lang.Sl.typ ->
  Runtime.Value.t

val boot_builtin_func_def : 
  Util.Source.region ->
  Lang.Sl.id ->
  Lang.Sl.tparam list ->
  Lang.Sl.param list ->
  Lang.Sl.typ ->
  Runtime.Value.t

val boot_table_func_def : 
  Util.Source.region ->
  Lang.Sl.id ->
  Lang.Sl.param list ->
  Lang.Sl.typ ->
  Lang.Sl.tablerow list ->
  Runtime.Value.t

val boot_func_def : 
  Util.Source.region ->
  Lang.Sl.id ->
  Lang.Sl.tparam list ->
  Lang.Sl.param list ->
  Lang.Sl.typ ->
  Lang.Sl.block ->
  Lang.Sl.elseblock option ->
  Runtime.Value.t

val boot_spec : Lang.Sl.spec -> Runtime.Value.t

include module type of struct include Spectec.Sli.Unboot end

val unboot_param_mtchtbl : Lang.Sl.param Runtime.Value.Get.mtchtbl ref

val unboot_holdcase_mtchtbl : Lang.Sl.holdcase Runtime.Value.Get.mtchtbl ref

val unboot_guard_mtchtbl : Lang.Sl.guard Runtime.Value.Get.mtchtbl ref

val unboot_instr_mtchtbl : Lang.Sl.instr Runtime.Value.Get.mtchtbl ref

val unboot_def_mtchtbl : Lang.Sl.def Runtime.Value.Get.mtchtbl ref

val unboot_iterinstr : Runtime.Value.t -> Lang.Sl.iterinstr

val unboot_iterinstrs : Runtime.Value.t -> Lang.Sl.iterinstr list

val unboot_param : Runtime.Value.t -> Lang.Sl.param

val unboot_exp_param : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Lang.Sl.param

val unboot_def_param : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Lang.Sl.param

val unboot_params : Runtime.Value.t -> Lang.Sl.param list

val unboot_instr : Runtime.Value.t -> Lang.Sl.instr

val unboot_if_instr : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Lang.Sl.instr

val unboot_holdcase : Runtime.Value.t -> Lang.Sl.holdcase

val unboot_both_holdcase : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Lang.Sl.holdcase

val unboot_hold_holdcase : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Lang.Sl.holdcase

val unboot_nothold_holdcase : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Lang.Sl.holdcase

val unboot_hold_instr : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Lang.Sl.instr

val unboot_guard : Runtime.Value.t -> Lang.Sl.guard

val unboot_bool_guard : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Lang.Sl.guard

val unboot_cmp_guard : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Lang.Sl.guard

val unboot_sub_guard : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Lang.Sl.guard

val unboot_match_guard : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Lang.Sl.guard

val unboot_mem_guard : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Lang.Sl.guard

val unboot_case : Runtime.Value.t -> Lang.Sl.case

val unboot_cases : Runtime.Value.t -> Lang.Sl.case list

val unboot_case_instr : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Lang.Sl.instr

val unboot_group_instr : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Lang.Sl.instr

val unboot_let_instr : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Lang.Sl.instr

val unboot_rule_instr : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Lang.Sl.instr

val unboot_result_instr : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Lang.Sl.instr

val unboot_return_instr : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Lang.Sl.instr

val unboot_debug_instr : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Lang.Sl.instr

val unboot_instrs : Runtime.Value.t -> Lang.Sl.block

val unboot_block : Runtime.Value.t -> Lang.Sl.block

val unboot_block_opt : Runtime.Value.t -> Lang.Sl.block option

val unboot_tablerow : Runtime.Value.t -> Lang.Sl.tablerow

val unboot_tablerows : Runtime.Value.t -> Lang.Sl.tablerow list

val unboot_def : Runtime.Value.t -> Lang.Sl.def

val unboot_extern_typ_def : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Lang.Sl.def

val unboot_typ_def : Util.Source.region -> Runtime.Value.t list -> Lang.Sl.def

val unboot_extern_rel_def : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Lang.Sl.def

val unboot_rel_def : Util.Source.region -> Runtime.Value.t list -> Lang.Sl.def

val unboot_extern_func_def : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Lang.Sl.def

val unboot_builtin_func_def : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Lang.Sl.def

val unboot_table_func_def : 
  Util.Source.region ->
  Runtime.Value.t list ->
  Lang.Sl.def

val unboot_func_def : Util.Source.region -> Runtime.Value.t list -> Lang.Sl.def

val unboot_script : Runtime.Value.t -> Lang.Sl.spec

include module type of struct include Spectec.Caches end

module Il = Spectec.Caches.Il

module VCache = Spectec.Caches.VCache

module MCache = Spectec.Caches.MCache

type cache = Spectec.Caches.cache = {

mutable enabled : bool;
boot_mixop : Il.value MCache.t;
boot_value : Il.value VCache.t;
boot_value_pingpong : Il.value VCache.t;
unboot_mixop : Il.mixop VCache.t;
unboot_typ : Il.typ VCache.t;
unboot_value : Il.value VCache.t;
unboot_value_pingpong : Il.value VCache.t;

}

val find_boot_mixop_cache : (Il.mixop -> Il.value option) ref

val add_boot_mixop_cache : (Il.mixop -> Il.value -> unit) ref

val find_boot_value_cache : (Il.value -> Il.value option) ref

val add_boot_value_cache : (Il.value -> Il.value -> unit) ref

val find_boot_value_pingpong_cache : (Il.value -> Il.value option) ref

val add_boot_value_pingpong_cache : (Il.value -> Il.value -> unit) ref

val find_unboot_mixop_cache : (Il.value -> Il.mixop option) ref

val add_unboot_mixop_cache : (Il.value -> Il.mixop -> unit) ref

val find_unboot_typ_cache : (Il.value -> Il.typ option) ref

val add_unboot_typ_cache : (Il.value -> Il.typ -> unit) ref

val find_unboot_value_cache : (Il.value -> Il.value option) ref

val add_unboot_value_cache : (Il.value -> Il.value -> unit) ref

val find_unboot_value_pingpong_cache : (Il.value -> Il.value option) ref

val add_unboot_value_pingpong_cache : (Il.value -> Il.value -> unit) ref

val make_cache : unit -> cache

val cache_enable : cache -> unit

val cache_disable_reset : cache -> unit

val cache_clear : cache -> unit

val stack : cache option list ref

val curr : cache option ref

val install_none : unit -> unit

val install_some : cache -> unit

val install : cache option -> unit

val push_cache : cache -> unit

val pop_cache : unit -> unit

Sourceval parse_program : string list -> string list -> Run.parse_result

Sourceval parse_string : string -> string -> Run.parse_result

Sourceval unparse_program : Value.t -> string

module Builtin_SpecTec : sig ... end

Source

val call_builtin : 
  (Lang.Il.value -> unit) ->
  Lang.Il.id ->
  Lang.Il.targ list ->
  Lang.Il.value list ->
  Lang.Il.value

Sourceval checkpoint : unit -> int

Sourceval seff : int -> int -> bool

Sourceval init : Run.spec -> unit