package libsail

  1. Overview
  2. Docs
package libsail
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Libsail.Value_typeSource

Sourcetype bit =
  1. | B0
  2. | B1
Sourcetype value =
  1. | V_vector of value list
  2. | V_list of value list
  3. | V_int of Big_int_Z.big_int
  4. | V_real of Rational.t
  5. | V_bool of bool
  6. | V_bit of bit
  7. | V_tuple of value list
  8. | V_unit
  9. | V_string of string
  10. | V_ref of string
  11. | V_member of string
  12. | V_ctor of string * value list
  13. | V_record of (string * value) list
  14. | V_attempted_read of string
Sourcemodule Primops : sig ... end