assume

Undocumented in source. Be warned that the author may not have intended to support it.

void assume(T cond, int line, string file)
void
assume
(
T
)
(
T cond
,
int line = __LINE__
,
string file = __FILE__
)
void assume(T cond, string msg, int line, string file)

Meta

Source

See Implementation

c2d dgutil classes

SyntaxException

functions