package sail

  1. Overview
  2. Docs
module Big_int = Nat_big_num
val bitvec : int -> Ast.order -> string
val combine : 'a Ast.defs list -> 'a Ast.defs
val newtype : string -> int -> Ast.order -> unit Ast.defs
val translate_indices : int -> int -> (int * int * int) list
val constructor : string -> Ast.order -> int -> int -> unit Ast.defs
val index_range_getter : string -> string -> Ast.order -> int -> int -> unit Ast.defs
val index_range_setter : string -> string -> Ast.order -> int -> int -> unit Ast.defs
val index_range_update : string -> string -> Ast.order -> int -> int -> unit Ast.defs
val index_range_overload : string -> string -> 'a -> unit Ast.defs
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.defs
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.defs
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.defs
OCaml

Innovation. Community. Security.