Pacta sunt servanda bedeutet: Vereinbarungen sind einzuhalten. Im Römischen Schuldrecht gibt es im Gegensatz zu heute einen Typenzwang (einen numerus clausus der Verträge)

Im Römischen Recht sind nur typisierte anerkannte Verträge einklagbar.

Der Prozess ist aktionenrechtlich. Für die Klage muss eine bestimmte Wortformel erfüllt werden. Die Wortformel passr nur auf anerkannte Verträge.

Der Typenzwang wird beim Innominatkontrakt (nicht anerkannte Vereinbarungen) überwunden. Der Innominatkontrakt ist kein anerkannter Vertragstyp, trotzdem kann geklagt werden, wenn (1) ein Synallagma vorliegt und (2) eine Leistung schon erbracht wurde. Auf Gegemleistung kann man mit der Actio Praescriptis Verbis geklagt werden.