Blame builtin/report.ml

Packit bd2e5d
(* Report globals from protocol *)
Packit bd2e5d
let opentk = Protocol.opentk
Packit bd2e5d
let keywords = Protocol.keywords
Packit bd2e5d
let opentk_with_args = Protocol.opentk_with_args
Packit bd2e5d
let openTk = Protocol.openTk
Packit bd2e5d
let openTkClass = Protocol.openTkClass
Packit bd2e5d
let openTkDisplayClass = Protocol.openTkDisplayClass
Packit bd2e5d
let closeTk = Protocol.closeTk
Packit bd2e5d
let mainLoop = Protocol.mainLoop
Packit bd2e5d
let register = Protocol.register
Packit bd2e5d
Packit bd2e5d
(* From support *)
Packit bd2e5d
let may = Support.may
Packit bd2e5d
let maycons = Support.maycons
Packit bd2e5d
Packit bd2e5d
(* From widget *)
Packit bd2e5d
let coe = Widget.coe