cprover_blank_library.cpp File Reference

Functions
void	add_cprover_library (contextt &, const languaget *)

Function Documentation

add_cprover_library()

void add_cprover_library	(	contextt &	context,
		const languaget *	language )