package sail

  1. Overview
  2. Docs
type vl =
  1. | VL_bits of Sail2_values.bitU list * bool
  2. | VL_bit of Sail2_values.bitU
  3. | VL_bool of bool
  4. | VL_unit
  5. | VL_int of Nat_big_num.num
  6. | VL_string of string
  7. | VL_real of string
  8. | VL_empty_list
  9. | VL_enum of string
  10. | VL_ref of string
  11. | VL_undefined
OCaml

Innovation. Community. Security.