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