module My_bigint: sig .. end
sig
end
pgcd u 0
u
type t = Big_int.big_int
Big_int.big_int
module M: sig .. end
module type S = sig .. end
include M