sail

Sail is a language for describing the instruction semantics of processors
IN THIS PACKAGE
type vector_order =
| Order_inc
| 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