package links
val jslib_url : string option Settings.setting
val external_base : string option Settings.setting
val hide_database_info : bool Settings.setting
val initialise_envs :
(Var.var Env.String.t * Types.typing_environment) ->
Var.var Env.String.t
* Env.String.name Links_core.Irtojs.VEnv.t
* Types.datatype Env.Int.t
val page :
?cgi_env:(string * string) list ->
wsconn_url:Webserver_types.websocket_url option ->
(Var.var Env.String.t * Types.typing_environment) ->
Ir.binding list ->
(Value.env * Value.t) ->
string list ->
string
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>