package libsail

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

Module Libsail.ValueSource

module Big_int = Nat_big_num
Sourcemodule StringMap : sig ... end
Sourceval print_chan : out_channel ref
Sourceval print_redirected : bool ref
Sourceval output_redirect : out_channel -> unit
Sourceval output_close : unit -> unit
Sourceval output : string -> unit
Sourceval output_endline : string -> unit
Sourcetype value =
  1. | V_vector of value list
  2. | V_list of value list
  3. | V_int of Big_int.num
  4. | V_real of Rational.t
  5. | V_bool of bool
  6. | V_bit of Sail_lib.bit
  7. | V_tuple of value list
  8. | V_unit
  9. | V_string of string
  10. | V_ref of string
  11. | V_ctor of string * value list
  12. | V_record of value StringMap.t
  13. | V_attempted_read of string
Sourceval is_bit : value -> bool
Sourceval string_of_value : value -> string
Sourceval eq_value : value -> value -> bool
Sourceval coerce_ctor : value -> string * value list
Sourceval coerce_bool : value -> bool
Sourceval coerce_record : value -> value StringMap.t
Sourceval and_bool : value list -> value
Sourceval or_bool : value list -> value
Sourceval tuple_value : value list -> value
Sourceval mk_vector : Sail_lib.bit list -> value
Sourceval coerce_bit : value -> Sail_lib.bit
Sourceval coerce_tuple : value -> value list
Sourceval coerce_list : value -> value list
Sourceval coerce_listlike : value -> value list
Sourceval coerce_int : value -> Big_int.num
Sourceval coerce_real : value -> Rational.t
Sourceval coerce_cons : value -> (value * value list) option
Sourceval coerce_gv : value -> value list
Sourceval coerce_bv : value -> Sail_lib.bit list
Sourceval coerce_string : value -> string
Sourceval coerce_ref : value -> string
Sourceval unit_value : value
Sourceval value_eq_int : value list -> value
Sourceval value_eq_bool : value list -> value
Sourceval value_lteq : value list -> value
Sourceval value_gteq : value list -> value
Sourceval value_lt : value list -> value
Sourceval value_gt : value list -> value
Sourceval value_eq_list : value list -> value
Sourceval value_eq_string : value list -> value
Sourceval value_string_startswith : value list -> value
Sourceval value_string_drop : value list -> value
Sourceval value_string_take : value list -> value
Sourceval value_string_length : value list -> value
Sourceval value_eq_bit : value list -> value
Sourceval value_length : value list -> value
Sourceval value_subrange : value list -> value
Sourceval value_access : value list -> value
Sourceval value_update : value list -> value
Sourceval value_update_subrange : value list -> value
Sourceval value_append : value list -> value
Sourceval value_append_list : value list -> value
Sourceval value_slice : value list -> value
Sourceval value_not : value list -> value
Sourceval value_not_vec : value list -> value
Sourceval value_and_vec : value list -> value
Sourceval value_or_vec : value list -> value
Sourceval value_xor_vec : value list -> value
Sourceval value_uint : value list -> value
Sourceval value_sint : value list -> value
Sourceval value_get_slice_int : value list -> value
Sourceval value_set_slice_int : value list -> value
Sourceval value_set_slice : value list -> value
Sourceval value_hex_slice : value list -> value
Sourceval value_add_int : value list -> value
Sourceval value_sub_int : value list -> value
Sourceval value_sub_nat : value list -> value
Sourceval value_negate : value list -> value
Sourceval value_pow2 : value list -> value
Sourceval value_int_power : value list -> value
Sourceval value_mult : value list -> value
Sourceval value_tdiv_int : value list -> value
Sourceval value_tmod_int : value list -> value
Sourceval value_quotient : value list -> value
Sourceval value_modulus : value list -> value
Sourceval value_abs_int : value list -> value
Sourceval value_add_vec_int : value list -> value
Sourceval value_sub_vec_int : value list -> value
Sourceval value_add_vec : value list -> value
Sourceval value_sub_vec : value list -> value
Sourceval value_shl_int : value list -> value
Sourceval value_shr_int : value list -> value
Sourceval value_max_int : value list -> value
Sourceval value_min_int : value list -> value
Sourceval value_replicate_bits : value list -> value
Sourceval value_count_leading_zeros : value list -> value
Sourceval is_ctor : value -> bool
Sourceval value_sign_extend : value list -> value
Sourceval value_zero_extend : value list -> value
Sourceval value_zeros : value list -> value
Sourceval value_ones : value list -> value
Sourceval value_shiftl : value list -> value
Sourceval value_shiftr : value list -> value
Sourceval value_arith_shiftr : value list -> value
Sourceval value_shift_bits_left : value list -> value
Sourceval value_shift_bits_right : value list -> value
Sourceval value_vector_truncate : value list -> value
Sourceval value_vector_truncateLSB : value list -> value
Sourceval value_eq_anything : value list -> value
Sourceval value_print : value list -> value
Sourceval value_print_endline : value list -> value
Sourceval value_internal_pick : value list -> value
Sourceval value_undefined_vector : value list -> value
Sourceval value_undefined_list : 'a list -> value
Sourceval value_undefined_bitvector : value list -> value
Sourceval value_read_ram : value list -> value
Sourceval value_write_ram : value list -> value
Sourceval value_load_raw : value list -> value
Sourceval value_putchar : value list -> value
Sourceval value_dec_str : value list -> value
Sourceval value_print_bits : value list -> value
Sourceval value_print_int : value list -> value
Sourceval value_print_string : value list -> value
Sourceval value_prerr_bits : value list -> value
Sourceval value_prerr_int : value list -> value
Sourceval value_prerr_string : value list -> value
Sourceval value_concat_str : value list -> value
Sourceval value_to_real : value list -> value
Sourceval value_print_real : value list -> value
Sourceval value_random_real : 'a list -> value
Sourceval value_sqrt_real : value list -> value
Sourceval value_quotient_real : value list -> value
Sourceval value_round_up : value list -> value
Sourceval value_round_down : value list -> value
Sourceval value_quot_round_zero : value list -> value
Sourceval value_rem_round_zero : value list -> value
Sourceval value_add_real : value list -> value
Sourceval value_sub_real : value list -> value
Sourceval value_mult_real : value list -> value
Sourceval value_div_real : value list -> value
Sourceval value_abs_real : value list -> value
Sourceval value_eq_real : value list -> value
Sourceval value_lt_real : value list -> value
Sourceval value_gt_real : value list -> value
Sourceval value_lteq_real : value list -> value
Sourceval value_gteq_real : value list -> value
Sourceval value_string_append : value list -> value
Sourceval value_decimal_string_of_bits : value list -> value
Sourceval value_hex_str : value list -> value
Sourceval value_hex_str_upper : value list -> value
Sourceval value_valid_hex_bits : value list -> value
Sourceval value_parse_hex_bits : value list -> value
Sourceval value_emulator_read_mem : value list -> value
Sourceval value_emulator_read_mem_ifetch : value list -> value
Sourceval value_emulator_read_mem_exclusive : value list -> value
Sourceval value_emulator_write_mem : value list -> value
Sourceval value_emulator_write_mem_exclusive : value list -> value
Sourceval value_emulator_read_tag : value list -> value
Sourceval value_emulator_write_tag : value list -> value
Sourceval value_cycle_count : 'a -> value
Sourceval value_get_cycle_count : 'a -> value
Sourceval primops : (value list -> value) StringMap.t ref
Sourceval add_primop : StringMap.key -> (value list -> value) -> unit