Module My_bigint


module My_bigint: sig .. end
pgcd u 0 is allowed and returns u

type t = Big_int.big_int 
module M: sig .. end
module type S = sig .. end
include M