Lines Matching full:class
4 template<template<template<typename> class, typename> class T, template<typename> class V> struct PartialApply {
9 template<template<typename> class, typename X> using Zero = X;
10 template<template<template<typename> class, typename> class N, template<typename> class F, typename X> using Succ = F<N<F,X>>;
12 template<template<typename> class F, typename X> using One = Succ<Zero, F, X>;
13 template<template<typename> class F, typename X> using Two = Succ<One, F, X>;
15 template<template<template<typename> class, typename> class A,
16 template<template<typename> class, typename> class B,
17 template<typename> class F,
20 template<template<template<typename> class, typename> class A,
21 template<template<typename> class, typename> class B,
22 template<typename> class F,
25 template<template<typename> class F, typename X> using Four = Add<Two, Two, F, X>;
26 template<template<typename> class F, typename X> using Sixteen = Mul<Four, Four, F, X>;
27 template<template<typename> class F, typename X> using TwoHundredAndFiftySix = Mul<Sixteen, Sixteen, F, X>;
