val is_hex_digit: Char.char -> bool
let is_hex_digit = function
  | '0'
  | '1'
  | '2'
  | '3'
  | '4'
  | '5'
  | '6'
  | '7'
  | '8'
  | '9'
  | 'a' | 'A'
  | 'b' | 'B'
  | 'c' | 'C'
  | 'd' | 'D'
  | 'e' | 'E'
  | 'f' | 'F' -> true
  | _ -> false
val is_hex_digit: Char.char -> bool
let is_hex_digit =
function
| '0'
| '1'
| '2'
| '3'
| '4'
| '5'
| '6'
| '7'
| '8'
| '9'
| 'a'
| 'A'
| 'b'
| 'B'
| 'c'
| 'C'
| 'd'
| 'D'
| 'e'
| 'E'
| 'f'
| 'F' -> true
| _ -> false
Lib.Meta.fst.checked
prims.fst.checked Lib.IntTypes.fsti.checked FStar.String.fsti.checked FStar.Seq.fst.checked FStar.Pervasives.fsti.checked FStar.Mul.fst.checked FStar.List.Tot.fst.checked FStar.List.fst.checked FStar.Char.fsti.checked
Lib.Meta.fst
FStar.Char.char Prims.bool
module Lib.Meta

open Lib.IntTypes

/// Helpers used in tests and tactics (see e.g. Test.LowStarize)

#set-options "--max_fuel 0 --max_ifuel 0 --z3rlimit 50"
val is_hex_digit: Char.char -> bool
_: FStar.Char.char -> Prims.bool