File tree Expand file tree Collapse file tree 2 files changed +0
-28
lines changed
Expand file tree Collapse file tree 2 files changed +0
-28
lines changed Original file line number Diff line number Diff line change @@ -34,24 +34,6 @@ module Addr = struct
3434 let succ = succ
3535end
3636
37- module DebugAddr : sig
38- type t = private Addr .t
39-
40- val of_addr : Addr .t -> t
41-
42- val to_addr : t -> Addr .t
43-
44- val no : t
45- end = struct
46- type t = int
47-
48- let of_addr (x : Addr.t ) : t = x
49-
50- let no = 0
51-
52- let to_addr (x : t ) : Addr.t = x
53- end
54-
5537module Var : sig
5638 type t [@@ocaml.immediate]
5739
Original file line number Diff line number Diff line change @@ -35,16 +35,6 @@ module Addr : sig
3535 module Map : Map .S with type key = t
3636end
3737
38- module DebugAddr : sig
39- type t = private int
40-
41- val of_addr : Addr .t -> t
42-
43- val to_addr : t -> Addr .t
44-
45- val no : t
46- end
47-
4838module Var : sig
4939 type t [@@ocaml.immediate]
5040
You can’t perform that action at this time.
0 commit comments