/usr/share/doc/racket/contract-profile/blueboxes.rktd is in racket-doc 6.7-3.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 | 184
((3) 0 () 1 ((q lib "contract-profile/main.rkt")) () (h ! (equal) ((c form c (c (? . 0) q contract-profile)) q (0 . 6)) ((c def c (c (? . 0) q contract-profile-thunk)) q (217 . 11))))
syntax
(contract-profile option ... body ...)
option = #:module-graph-file module-graph-file
| #:boundary-view-file boundary-view-file
| #:boundary-view-key-file boundary-view-key-file
procedure
(contract-profile-thunk
thunk
[#:module-graph-file module-graph-file
#:boundary-view-file boundary-view-file
#:boundary-view-key-file boundary-view-key-file])
-> any
thunk : (-> any)
module-graph-file : (or/c path-string #f) = #f
boundary-view-file : (or/c path-string #f) = #f
boundary-view-key-file : (or/c path-string #f) = #f
|