open Prims
let (bool_of_string :
  Prims.string -> Prims.bool FStar_Pervasives_Native.option) =
  fun uu___ -> failwith "Not yet implemented: FStar.Parse.bool_of_string"
let (int_of_string :
  Prims.string -> Prims.int FStar_Pervasives_Native.option) =
  fun uu___ -> failwith "Not yet implemented: FStar.Parse.int_of_string"
