Function implies

example/misc/restricted_function.cpp:81–83 · view source on GitHub ↗

Source from the content-addressed store, hash-verified

79
80	template <typename P, typename Q>
81	constexpr auto implies(P p, Q q) {
82	return hana::or_(hana::not_(p), q);
83	}
84
85	template <typename F>
86	constexpr auto is_injective(F f) {

is_injectiveFunction · 0.85

operator()Method · 0.85

no outgoing calls

no test coverage detected