sig val gcd : int -> int -> int val pretty : int list Pretty_utils.formatter val sizeof : int -> int list -> int val merge : int list -> int list -> int list end