Module Ancestor.Proof

module Stable : sig ... end