Legend:
Library
Module
Module type
Parameter
Class
Class type
type input
type action
type extra
val show : unit -> unit
val show_model : unit -> unit
val set_input : input -> unit
val do_actions : action list -> unit
val get_extra : unit -> extra