[Library]

Definition.h: definitions of basic types