'PRedTy Rt c h G L T1 T2 = (cpg Rt h c G L T1 T2).
(* Basic properties *********************************************************)
'PRedTy Rt c h G L T1 T2 = (cpg Rt h c G L T1 T2).
(* Basic properties *********************************************************)