sail

Sail is a language for describing the instruction semantics of processors
IN THIS PACKAGE
Module Bitfield
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