package libsail

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Libsail.BitfieldSource

module Big_int = Nat_big_num
Sourceval bitvec : int -> Ast.order -> string
Sourceval constructor : string -> Ast.order -> int -> int -> unit Ast.def list
Sourcetype field_accessor_ids = {
  1. get : string;
  2. set : string;
  3. update : string;
  4. overload : string;
}
Sourceval field_accessor_ids : string -> string -> field_accessor_ids
Sourceval index_range_getter : string -> string -> Ast.order -> int -> int -> unit Ast.def list
Sourceval index_range_setter : string -> string -> Ast.order -> int -> int -> unit Ast.def list
Sourceval index_range_update : string -> string -> Ast.order -> int -> int -> unit Ast.def list
Sourceval index_range_overload : string -> string -> unit Ast.def list
Sourceval index_range_accessor : string -> string -> Ast.order -> (Libsail.Ast_util.Big_int.num * Libsail.Ast_util.Big_int.num) -> unit Ast.def list
Sourceval field_accessor : string -> Ast.order -> (Ast.id * (Libsail.Ast_util.Big_int.num * Libsail.Ast_util.Big_int.num)) -> unit Ast.def list
Sourceval macro : Ast.id -> int -> Ast.order -> (Libsail.Ast_util.Big_int.num * Libsail.Ast_util.Big_int.num) Ast_util.Bindings.t -> unit Ast.def list
OCaml

Innovation. Community. Security.