sig
  val compute : unit -> unit
  val name : string
  val display_result : GPack.box -> unit
  val register : '-> unit
end