diff options
| author |  Artyom Shalkhakov <artyom.shalkhakov@gmail.com> | 2019-01-12 16:20:14 +0200 |
|---|---|---|
| committer | Artyom Shalkhakov <artyom.shalkhakov@gmail.com> | 2019-01-12 16:20:14 +0200 |
| commit | ba1871b3b9cc669c43420f993719690b45326e2f (patch) | |
| tree | db204c53b57326b23014674b90f7ac21d80a3430 /src/endpoints.sig | |
| parent | db68fd7f8dd17fda410ea06e7076e11ee2c57afc (diff) | |
Including app.js in output of endpoints
Diffstat (limited to 'src/endpoints.sig')
| -rw-r--r-- | src/endpoints.sig | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/endpoints.sig b/src/endpoints.sig index f2c3c305..89e72add 100644 --- a/src/endpoints.sig +++ b/src/endpoints.sig @@ -36,6 +36,9 @@ signature ENDPOINTS = sig type report = {Endpoints : endpoint list} val p_report : report Print.printer - val summarize : Mono.file -> report + val reset : unit -> unit + val collect : Mono.file -> Mono.file + val setJavaScript : string -> unit + val summarize : unit -> report end |