package sail

  1. Overview
  2. Docs
package sail
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Big_int = Nat_big_num
val bitvec : int -> Ast.order -> string
val newtype : string -> int -> Ast.order -> unit Ast.def list
val translate_indices : int -> int -> (int * int * int) list
val constructor : string -> Ast.order -> int -> int -> unit Ast.def list
val index_range_getter : string -> string -> Ast.order -> int -> int -> unit Ast.def list
val index_range_setter : string -> string -> Ast.order -> int -> int -> unit Ast.def list
val index_range_update : string -> string -> Ast.order -> int -> int -> unit Ast.def list
val index_range_overload : string -> string -> 'a -> unit Ast.def list
val index_range_accessor : ((Ast.nexp -> Ast_util.Big_int.num option) * (Ast.l -> string -> Ast_util.Big_int.num)) -> string -> string -> Ast.order -> Ast.index_range -> unit Ast.def list
val field_accessor : ((Ast.nexp -> Ast_util.Big_int.num option) * (Ast.l -> string -> Ast_util.Big_int.num)) -> string -> Ast.order -> (Ast.id * Ast.index_range) -> unit Ast.def list
val macro : ((Ast.nexp -> Ast_util.Big_int.num option) * (Ast.l -> string -> Ast_util.Big_int.num)) -> Ast.id -> int -> Ast.order -> (Ast.id * Ast.index_range) list -> unit Ast.def list