sail 0.14 · OCaml Package

type vector_order =

val zunitFromInterpValue : Value.value -> unit

val zunitToInterpValue : unit -> Value.value

val unitFromInterpValue : Value.value -> unit

val unitToInterpValue : unit -> Value.value

val zatomFromInterpValue : 
  Value.Big_int.num ->
  Value.value ->
  Value.Big_int.num

val zatomToInterpValue : Value.Big_int.num -> Value.Big_int.num -> Value.value

val atomFromInterpValue : Value.Big_int.num -> Value.value -> Value.Big_int.num

val atomToInterpValue : Value.Big_int.num -> Value.Big_int.num -> Value.value

val zintFromInterpValue : Value.value -> Value.Big_int.num

val zintToInterpValue : Value.Big_int.num -> Value.value

val intFromInterpValue : Value.value -> Value.Big_int.num

val intToInterpValue : Value.Big_int.num -> Value.value

val znatFromInterpValue : Value.value -> Value.Big_int.num

val znatToInterpValue : Value.Big_int.num -> Value.value

val natFromInterpValue : Value.value -> Value.Big_int.num

val natToInterpValue : Value.Big_int.num -> Value.value

val zrangeFromInterpValue : 
  Value.Big_int.num ->
  Value.Big_int.num ->
  Value.value ->
  Value.Big_int.num

val zrangeToInterpValue : 
  Value.Big_int.num ->
  Value.Big_int.num ->
  Value.Big_int.num ->
  Value.value

val rangeFromInterpValue : 
  Value.Big_int.num ->
  Value.Big_int.num ->
  Value.value ->
  Value.Big_int.num

val rangeToInterpValue : 
  Value.Big_int.num ->
  Value.Big_int.num ->
  Value.Big_int.num ->
  Value.value

val zboolFromInterpValue : Value.value -> bool

val zboolToInterpValue : bool -> Value.value

val boolFromInterpValue : Value.value -> bool

val boolToInterpValue : bool -> Value.value

val zstringFromInterpValue : Value.value -> string

val zstringToInterpValue : string -> Value.value

val stringFromInterpValue : Value.value -> string

val stringToInterpValue : string -> Value.value

val zlistFromInterpValue : (Value.value -> 'a) -> Value.value -> 'a list

val zlistToInterpValue : ('a -> Value.value) -> 'a list -> Value.value

val listFromInterpValue : (Value.value -> 'a) -> Value.value -> 'a list

val listToInterpValue : ('a -> Value.value) -> 'a list -> Value.value

val zvectorFromInterpValue : 
  Value.Big_int.num ->
  'a ->
  (Value.value -> 'b) ->
  Value.value ->
  'b list

val zvectorToInterpValue : 
  Value.Big_int.num ->
  'a ->
  ('b -> Value.value) ->
  'b list ->
  Value.value

val vectorFromInterpValue : 
  Value.Big_int.num ->
  'a ->
  (Value.value -> 'b) ->
  Value.value ->
  'b list

val vectorToInterpValue : 
  Value.Big_int.num ->
  'a ->
  ('b -> Value.value) ->
  'b list ->
  Value.value

val zbitFromInterpValue : Value.value -> Sail_lib.bit

val zbitToInterpValue : Sail_lib.bit -> Value.value

val bitFromInterpValue : Value.value -> Sail_lib.bit

val bitToInterpValue : Sail_lib.bit -> Value.value

val zbitvectorFromInterpValue : 
  Value.Big_int.num ->
  'a ->
  Value.value ->
  int * Big_int_impl.BI.big_int

val zbitvectorToInterpValue : 
  'a ->
  'b ->
  (int * Big_int_impl.BI.big_int) ->
  Value.value

val bitvectorFromInterpValue : 
  Value.Big_int.num ->
  'a ->
  Value.value ->
  int * Big_int_impl.BI.big_int

val bitvectorToInterpValue : 
  'a ->
  'b ->
  (int * Big_int_impl.BI.big_int) ->
  Value.value

val optionFromInterpValue : (Value.value -> 'a) -> Value.value -> 'a option

val optionToInterpValue : ('a -> Value.value) -> 'a option -> Value.value

val bitsFromInterpValue : Value.value -> int * Big_int_impl.BI.big_int

val bitsToInterpValue : (int * Big_int_impl.BI.big_int) -> Value.value