cprover
Loading...
Searching...
No Matches
typecheck.h File Reference
#include "message.h"
Include dependency graph for typecheck.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  typecheckt
class  typecheckt::errort

Functions

template<typename T>
typecheckt::errort operator<< (typecheckt::errort &&e, const T &message)
 add to the diagnostic information in the given typecheckt::errort exception

Function Documentation

◆ operator<<()

template<typename T>
typecheckt::errort operator<< ( typecheckt::errort && e,
const T & message )

add to the diagnostic information in the given typecheckt::errort exception

Definition at line 77 of file typecheck.h.