package sail

  1. Overview
  2. Docs
package sail
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

Signature

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 -> 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