|
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
|