links

The Links Programming Language
IN THIS PACKAGE
Module Links_core . Webif . WebIf

Parameters

Signature

val do_request : (Value.env * Ir.var Env.String.t * Types.typing_environment) -> (string * string) list -> ( unit -> (string * string) Lwt.t ) -> Value.continuation -> ( Value.t -> string ) -> ( (string * string) list -> string -> 'b Lwt.t ) -> 'b Lwt.t