Searched refs:proto_super_domain (Results 1 – 2 of 2) sorted by relevance
101 typedef Super proto_super_domain; typedef314 : is_sub_domain_of<typename SubDomain::proto_super_domain, SuperDomain>
43 : domain_<typename Domain::proto_super_domain>46 typedef domain_<typename Domain::proto_super_domain> base;