Egy Euclid program a modultípus-deklarációk sorozatából áll. Ezeket megelőzheti egy include utasítás, aminek segítégével további Euclid programokat fűzhetünk a programunkhoz. Szintaktikája:
program::=compilationUnit
compilationUnit::=[includeClause ";"] typeDeclaration {";" typeDeclaration}
includeClause::= include includeItem {";" includeItem}
includeItem::= [id {"," id} from] fileName
fileName::=literalString
(Az include lista elemeit pontosvesszővel, a from lista elemeit vesszővel választjuk el.) Ha nincs megadva from lista akkor a file összes deklarációja bekerül, egyébbként csak a felsoroltak. Ha különböző file-ok ugyanolyan nevű típusokat tartalmaznak, akkor hibát eredményez.
Standard könyvtárakról az elérhető dokumentációk nem tesznek említést. A Concurrent Euclid -ban már akad néhány ilyen, lásd Példaprogramok.