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