KBDEFIN

Precise definition of KIT-Basic language