package links

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

Package contains no libraries

Parameters

module C : Irtojs.JS_PAGE_COMPILER

module G : Irtojs.JS_CODEGEN

Signature

val jslib_url : string option Settings.setting

val external_base : string option Settings.setting

val hide_database_info : bool Settings.setting

val session_exceptions_enabled : bool

val get_js_lib_url : unit -> string

val ext_script_tag : ?base:string -> string -> string

val script_tag : string -> string

val make_boiler_page : 
  ?cgi_env:(string * string) list ->
  ?onload:string ->
  ?body:string ->
  ?html:string ->
  ?head:string ->
  ?external_files:string list ->
  unit ->
  string

val resolve_toplevel_values : string list -> string

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