PGOCaml provides an interface to PostgreSQL databases for OCaml applications. This PPX syntax extension enables one to directly embed SQL statements inside the OCaml code. The extension uses the 'describe' feature of PostgreSQL to obtain type information about the database. This allows PGOCaml to check at compile-time if the program is indeed consistent with the database structure.