type.cpp File Reference

Implementations of some functions of typet. More...

#include "type.h"

Include dependency graph for type.cpp:

Go to the source code of this file.

Functions
typet	remove_const (typet type)
	Remove const qualifier from type (if any). More...

Detailed Description

Implementations of some functions of typet.

Definition in file type.cpp.

Function Documentation

remove_const()

typet remove_const

(

typet

type

)

Remove const qualifier from type (if any).

Returns type as is if there is no const qualifier.

Definition at line 32 of file type.cpp.