package sail

  1. Overview
  2. Docs
type vector_order =
  1. | Order_inc
  2. | Order_dec
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 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
OCaml

Innovation. Community. Security.