Module Lang.F.P

module P: Qed.Pattern.Make(T)