info

((*
  ((S #1=(|PositiveInteger|) S)
   ((|RepeatedDoubling| S) (|double| S (|PositiveInteger|) S))
   (|arguments| (|x| . S) (|n| . #1#)))))