Module File_menu

type caps = < Cap.open_in ; Cap.open_out ; Cap.readdir >
type kind = {
  1. magic : string;
  2. extension : string;
}
type t
val start : t
val items : string list
type 'd result =
  1. | Nothing
  2. | New
  3. | Opened of 'd
val command : caps -> kind -> current:(unit -> 'd) -> string -> t -> t * 'd result
val menu_in : ?items:string list -> caps -> kind -> Playground.computer -> Widget.box -> current:(unit -> 'd) -> t -> t * 'd result
val autosave : caps -> kind -> current:(unit -> 'd) -> t -> t
val busy : t -> bool
val dialog : caps -> kind -> Playground.computer -> current:(unit -> 'd) -> t -> t * 'd result
val view : t -> Playground.shape list
val title : t -> string
val said : t -> string