package libsail

  1. Overview
  2. Docs
package libsail
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Big_int = Nat_big_num
val bitvec : int -> Ast.order -> string
val constructor : string -> Ast.order -> int -> int -> unit Ast.def list
type field_accessor_ids = {
  1. get : string;
  2. set : string;
  3. update : string;
  4. overload : string;
}
val field_accessor_ids : string -> string -> field_accessor_ids
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 -> unit Ast.def list
val index_range_accessor : string -> string -> Ast.order -> (Libsail.Ast_util.Big_int.num * Libsail.Ast_util.Big_int.num) -> unit Ast.def list
val field_accessor : string -> Ast.order -> (Ast.id * (Libsail.Ast_util.Big_int.num * Libsail.Ast_util.Big_int.num)) -> unit Ast.def list