Module Common.Boot

module Atom = Domain.Atom
module Mixop = Domain.Mixop
module Mixfix = Domain.Mixfix
module Il = Lang.Il
module Value = Runtime.Value
module MCache = Domain.Caches.MixopCache
val boot_id : Spectec.Caches.Il.id -> Value.t
val boot_atom : Spectec.Caches.Il.atom -> Value.t
val boot_mixop : Spectec.Caches.Il.mixop -> Value.t
val boot_iter : Spectec.Caches.Il.iter -> Value.t
val boot_iters : Spectec.Caches.Il.iter list -> Value.t
val boot_var : Spectec.Caches.Il.var -> Value.t
val boot_vars : Spectec.Caches.Il.var list -> Value.t
val boot_typ : Spectec.Caches.Il.typ -> Value.t
val boot_typs : Spectec.Caches.Il.typ list -> Value.t
val boot_bool_typ : Util.Source.region -> Value.t
val boot_num_typ : Util.Source.region -> Lang.Xl.Num.typ -> Value.t
val boot_text_typ : Util.Source.region -> Value.t
val boot_tuple_typ : Util.Source.region -> Spectec.Caches.Il.typ list -> Value.t
val boot_func_typ : Util.Source.region -> Value.t
val boot_deftyp : Spectec.Caches.Il.deftyp -> Value.t
val boot_plain_deftyp : Util.Source.region -> Spectec.Caches.Il.typ -> Value.t
val boot_typfield : Spectec.Caches.Il.typfield -> Value.t
val boot_typfields : Spectec.Caches.Il.typfield list -> Value.t
val boot_struct_deftyp : Util.Source.region -> Spectec.Caches.Il.typfield list -> Value.t
val boot_typcase : Spectec.Caches.Il.typcase -> Value.t
val boot_typcases : Spectec.Caches.Il.typcase list -> Value.t
val boot_variant_deftyp : Util.Source.region -> Spectec.Caches.Il.typcase list -> Value.t
val boot_value : Spectec.Caches.Il.value -> Value.t
val boot_value_opt : Spectec.Caches.Il.value option -> Value.t
val boot_values : Spectec.Caches.Il.value list -> Value.t
val boot_bool_value : Util.Source.region -> bool -> Value.t
val boot_text_value : Util.Source.region -> string -> Value.t
val boot_valuefield : Spectec.Caches.Il.valuefield -> Value.t
val boot_valuefields : Spectec.Caches.Il.valuefield list -> Value.t
val boot_struct_value : Util.Source.region -> Spectec.Caches.Il.valuefield list -> Value.t
val boot_valuecase : Spectec.Caches.Il.valuecase -> Value.t
val boot_tuple_value : Util.Source.region -> Spectec.Caches.Il.value list -> Value.t
val boot_opt_value : Util.Source.region -> Spectec.Caches.Il.value option -> Value.t
val boot_list_value : Util.Source.region -> Spectec.Caches.Il.value list -> Value.t
val boot_func_value : Util.Source.region -> Spectec.Caches.Il.id -> Value.t
val boot_extern_value : Util.Source.region -> Yojson.Safe.t -> Value.t
val boot_unop : Spectec.Caches.Il.unop -> Value.t
val boot_unop_bool : Lang.Xl.Bool.unop -> Value.t
val boot_unop_num : Lang.Xl.Num.unop -> Value.t
val boot_binop : Spectec.Caches.Il.binop -> Value.t
val boot_binop_bool : Lang.Xl.Bool.binop -> Value.t
val boot_binop_num : Lang.Xl.Num.binop -> Value.t
val boot_cmpop : Spectec.Caches.Il.cmpop -> Value.t
val boot_cmpop_bool : Lang.Xl.Bool.cmpop -> Value.t
val boot_cmpop_num : Lang.Xl.Num.cmpop -> Value.t
val boot_targ : Spectec.Caches.Il.targ -> Value.t
val boot_targs : Spectec.Caches.Il.targ list -> Value.t
val boot_tparam : Spectec.Caches.Il.tparam -> Value.t
val boot_tparams : Spectec.Caches.Il.tparam list -> Value.t
val boot_arg : Spectec.Caches.Il.arg -> Value.t
val boot_args : Spectec.Caches.Il.arg list -> Value.t
val boot_exp : Spectec.Caches.Il.exp -> Value.t
val boot_bool_exp : Util.Source.region -> bool -> Value.t
val boot_text_exp : Util.Source.region -> Spectec.Caches.Il.text -> Value.t
val boot_tuple_exp : Util.Source.region -> Spectec.Caches.Il.exp list -> Value.t
val boot_expcase : Spectec.Caches.Il.notexp -> Value.t
val boot_expfields : (Spectec.Caches.Il.atom * Spectec.Caches.Il.exp) list -> Value.t
val boot_opt_exp : Util.Source.region -> Spectec.Caches.Il.exp option -> Value.t
val boot_list_exp : Util.Source.region -> Spectec.Caches.Il.exp list -> Value.t
val boot_exps : Spectec.Caches.Il.exp list -> Value.t
val boot_exp_opt : Spectec.Caches.Il.exp option -> Value.t
val boot_path : Spectec.Caches.Il.path -> Value.t
val boot_pattern : Spectec.Caches.Il.pattern -> Value.t
val boot_iterexp : Spectec.Caches.Il.iterexp -> Value.t