Make (p.ojs_ed.0.7.0.doc.ojs_ed.js.Ojsed

Parameters

module P : Ojs_ed.Types.P

Signature

module P : 
  Ojs_ed.Types.P
    with type app_server_msg = P.app_server_msg
    with type app_client_msg = P.app_client_msg
    with type server_msg = P.server_msg
    with type client_msg = P.client_msg

Source

class editor : (P.client_msg ->
  (P.server_msg -> unit Lwt.t) ->
  unit Lwt.t) -> (P.client_msg ->
  unit Lwt.t) -> bar_id:string -> msg_id:string -> string -> object ... end

Source

class editors : (P.app_client_msg ->
  (P.app_server_msg -> unit Lwt.t) ->
  unit Lwt.t) -> (P.app_client_msg ->
  unit Lwt.t) -> ((P.client_msg -> (P.server_msg -> unit Lwt.t) -> unit Lwt.t) ->
  (P.client_msg -> unit Lwt.t) ->
  bar_id:string ->
  msg_id:string ->
  string ->
  editor) -> object ... end