diff options
Diffstat (limited to 'editor/forms/add_page.mli')
| -rwxr-xr-x | editor/forms/add_page.mli | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/editor/forms/add_page.mli b/editor/forms/add_page.mli index 6be1611..8a4ff6f 100755 --- a/editor/forms/add_page.mli +++ b/editor/forms/add_page.mli @@ -1,9 +1,2 @@ -type t = { title : Jstr.t } -type Events.kind += - | AddPage of t [@@unboxed] - val create : unit -> Events.t - -val on_close - : t -> State.t -> State.t |