sail

Sail is a language for describing the instruction semantics of processors
IN THIS PACKAGE

Parameters

Signature

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 -> BitT.t
val zbitToInterpValue : BitT.t -> Value.value
val bitFromInterpValue : Value.value -> BitT.t
val bitToInterpValue : BitT.t -> Value.value
val zbitvectorFromInterpValue : Value.Big_int.num -> 'a -> Value.value -> BitT.t list
val zbitvectorToInterpValue : Value.Big_int.num -> 'a -> BitT.t list -> Value.value
val bitvectorFromInterpValue : Value.Big_int.num -> 'a -> Value.value -> BitT.t list
val bitvectorToInterpValue : Value.Big_int.num -> 'a -> BitT.t list -> Value.value
val optionFromInterpValue : ( Value.value -> 'a ) -> Value.value -> 'a option
val optionToInterpValue : ( 'a -> Value.value ) -> 'a option -> Value.value
val bitsFromInterpValue : Value.value -> BitT.t list
val bitsToInterpValue : BitT.t list -> Value.value