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