3 type key = Virt_mem_mmap.addr;;
4 type 'a t = 'a Map.Make(Int64).t;;
6 val is_empty : 'a t -> bool;;
7 val add : key -> 'a -> 'a t -> 'a t;;
8 val find : key -> 'a t -> 'a;;
9 val remove : key -> 'a t -> 'a t;;
10 val mem : key -> 'a t -> bool;;
11 val iter : (key -> 'a -> unit) -> 'a t -> unit;;
12 val map : ('a -> 'b) -> 'a t -> 'b t;;
13 val mapi : (key -> 'a -> 'b) -> 'a t -> 'b t;;
14 val fold : (key -> 'a -> 'b -> 'b) -> 'a t -> 'b -> 'b;;
15 val compare : ('a -> 'a -> int) -> 'a t -> 'a t -> int;;
16 val equal : ('a -> 'a -> bool) -> 'a t -> 'a t -> bool;;
18 type kernel_version = string;;
22 val task_struct_follower :
24 (string -> Virt_mem_mmap.addr -> int -> Bitstring.bitstring) ->
25 Virt_mem_mmap.addr -> (string * int) AddrMap.t;;
26 val net_device_follower :
28 (string -> Virt_mem_mmap.addr -> int -> Bitstring.bitstring) ->
29 Virt_mem_mmap.addr -> (string * int) AddrMap.t;;
32 (string -> Virt_mem_mmap.addr -> int -> Bitstring.bitstring) ->
33 Virt_mem_mmap.addr -> (string * int) AddrMap.t;;
34 val in_device_follower :
36 (string -> Virt_mem_mmap.addr -> int -> Bitstring.bitstring) ->
37 Virt_mem_mmap.addr -> (string * int) AddrMap.t;;
38 val inet6_dev_follower :
40 (string -> Virt_mem_mmap.addr -> int -> Bitstring.bitstring) ->
41 Virt_mem_mmap.addr -> (string * int) AddrMap.t;;
42 val in_ifaddr_follower :
44 (string -> Virt_mem_mmap.addr -> int -> Bitstring.bitstring) ->
45 Virt_mem_mmap.addr -> (string * int) AddrMap.t;;
46 val inet6_ifaddr_follower :
48 (string -> Virt_mem_mmap.addr -> int -> Bitstring.bitstring) ->
49 Virt_mem_mmap.addr -> (string * int) AddrMap.t;;