#include <type_props.hpp>
Definition at line 765 of file type_props.hpp.
Definition at line 768 of file type_props.hpp.
References ERROR.
Referenced by generic_concrete_rep< C >::make_concrete_vector().
00768 { 00769 (void) x; ERROR ("invalid concretization"); }
Definition at line 766 of file type_props.hpp.
References ERROR.
00766 { 00767 (void) x; ERROR ("invalid abstraction"); }