open Fstarcompiler
open Prims
let imp_qn : Prims.string Prims.list= ["Prims"; "l_imp"]
let and_qn : Prims.string Prims.list= ["Prims"; "l_and"]
let or_qn : Prims.string Prims.list= ["Prims"; "l_or"]
let not_qn : Prims.string Prims.list= ["Prims"; "l_not"]
let iff_qn : Prims.string Prims.list= ["Prims"; "l_iff"]
let eq2_qn : Prims.string Prims.list= ["Prims"; "eq2"]
let eq1_qn : Prims.string Prims.list= ["Prims"; "eq"]
let true_qn : Prims.string Prims.list= ["Prims"; "l_True"]
let false_qn : Prims.string Prims.list= ["Prims"; "l_False"]
let b2t_qn : Prims.string Prims.list= ["Prims"; "b2t"]
let forall_qn : Prims.string Prims.list= ["Prims"; "l_Forall"]
let exists_qn : Prims.string Prims.list= ["Prims"; "l_Exists"]
let squash_qn : Prims.string Prims.list= ["Prims"; "squash"]
let prop_qn : Prims.string Prims.list= ["Prims"; "prop"]
let bool_true_qn : Prims.string Prims.list= ["Prims"; "true"]
let bool_false_qn : Prims.string Prims.list= ["Prims"; "false"]
let int_lid : Prims.string Prims.list= ["Prims"; "int"]
let bool_lid : Prims.string Prims.list= ["Prims"; "bool"]
let unit_lid : Prims.string Prims.list= ["Prims"; "unit"]
let string_lid : Prims.string Prims.list= ["Prims"; "string"]
let add_qn : Prims.string Prims.list= ["Prims"; "op_Addition"]
let neg_qn : Prims.string Prims.list= ["Prims"; "op_Minus"]
let minus_qn : Prims.string Prims.list= ["Prims"; "op_Subtraction"]
let mult_qn : Prims.string Prims.list= ["Prims"; "op_Star"]
let div_qn : Prims.string Prims.list= ["Prims"; "op_Division"]
let lt_qn : Prims.string Prims.list= ["Prims"; "op_LessThan"]
let lte_qn : Prims.string Prims.list= ["Prims"; "op_LessThanOrEqual"]
let gt_qn : Prims.string Prims.list= ["Prims"; "op_GreaterThan"]
let gte_qn : Prims.string Prims.list= ["Prims"; "op_GreaterThanOrEqual"]
let mod_qn : Prims.string Prims.list= ["Prims"; "op_Modulus"]
let nil_qn : Prims.string Prims.list= ["Prims"; "Nil"]
let cons_qn : Prims.string Prims.list= ["Prims"; "Cons"]
let mktuple2_qn : Prims.string Prims.list=
  ["FStar"; "Pervasives"; "Native"; "Mktuple2"]
let mktuple3_qn : Prims.string Prims.list=
  ["FStar"; "Pervasives"; "Native"; "Mktuple3"]
let mktuple4_qn : Prims.string Prims.list=
  ["FStar"; "Pervasives"; "Native"; "Mktuple4"]
let mktuple5_qn : Prims.string Prims.list=
  ["FStar"; "Pervasives"; "Native"; "Mktuple5"]
let mktuple6_qn : Prims.string Prims.list=
  ["FStar"; "Pervasives"; "Native"; "Mktuple6"]
let mktuple7_qn : Prims.string Prims.list=
  ["FStar"; "Pervasives"; "Native"; "Mktuple7"]
let mktuple8_qn : Prims.string Prims.list=
  ["FStar"; "Pervasives"; "Native"; "Mktuple8"]
let land_qn : Prims.string Prims.list= ["FStar"; "UInt"; "logand"]
let lxor_qn : Prims.string Prims.list= ["FStar"; "UInt"; "logxor"]
let lor_qn : Prims.string Prims.list= ["FStar"; "UInt"; "logor"]
let ladd_qn : Prims.string Prims.list= ["FStar"; "UInt"; "add_mod"]
let lsub_qn : Prims.string Prims.list= ["FStar"; "UInt"; "sub_mod"]
let shiftl_qn : Prims.string Prims.list= ["FStar"; "UInt"; "shift_left"]
let shiftr_qn : Prims.string Prims.list= ["FStar"; "UInt"; "shift_right"]
let udiv_qn : Prims.string Prims.list= ["FStar"; "UInt"; "udiv"]
let umod_qn : Prims.string Prims.list= ["FStar"; "UInt"; "mod"]
let mul_mod_qn : Prims.string Prims.list= ["FStar"; "UInt"; "mul_mod"]
let nat_bv_qn : Prims.string Prims.list= ["FStar"; "BV"; "int2bv"]
