package libsail

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type vl =
  1. | VL_bits of Sail2_values.bitU list
  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_enum of string
  9. | VL_ref of string
  10. | VL_undefined
OCaml

Innovation. Community. Security.