Module Lang.F.Pretty

module Pretty: Qed.Pretty.Make(T)