signature PLANNER = 
  sig
    val plan : unit -> unit.