~james/scope

scope/lib/address.mli -rw-r--r--483 bytes ViewLogBlameView rawPermalink b1b249cd6f — feat(core): define typed addresses and captured register state 29 days ago
 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
module Virtual : sig
  type t
  val of_int64 : int64 -> t
  val to_int64 : t -> int64
end

module Physical : sig
  type t
  val of_int64 : int64 -> t
  val to_int64 : t -> int64
end

module Machine : sig
  type t
  val of_int64 : int64 -> t
  val to_int64 : t -> int64
end

val compare : int64 -> int64 -> int
val hex : int64 -> string
val parse : string -> int64
val bit : int64 -> int -> bool
val mask : int -> int64
val align : int64 -> int -> int64
val canonical : int64 -> bool