m::wasm::arithmetically_combinable Concept Reference

#include <WasmDSL.hpp>

Concept definition

template<typename T, typename U, std::size_t L>
concept m::wasm::arithmetically_combinable =  dsl_primitive<T> and dsl_primitive<U> and have_common_type<T, U> and
requires (PrimitiveExpr<T, L> e) { PrimitiveExpr<common_type_t<T, U>, L>(e); } and
requires (PrimitiveExpr<U, L> e) { PrimitiveExpr<common_type_t<T, U>, L>(e); }

Detailed Description

Definition at line 1452 of file WasmDSL.hpp.