info

((*
  ((S #1=(|NonNegativeInteger|) S)
   ((|RepeatedDoubling| S) (|double| S (|PositiveInteger|) S))
   (#2=(|NonNegativeInteger|) (|zero?| #3=(|Boolean|) #2#))
   (|locals| (#:G540 . #3#)) (|arguments| (|x| . S) (|n| . #1#))
   (S (|Zero| . #4=(S))))
  ((S #5=(|PositiveInteger|) S) (|arguments| (|x| . S) (|n| . #5#))
   (S (* S (|NonNegativeInteger|) S))))
 (|opposite?|
  (((|Boolean|) S S) (|arguments| (|y| . S) (|x| . S))
   (S (|zero?| (|Boolean|) S) (+ S S S))))
 (|sample| ((S) (S (|Zero| . #4#))))
 (|zero?|
  (((|Boolean|) S) (|arguments| (|x| . S))
   (S (|Zero| . #4#) (= (|Boolean|) S S)))))