let
var_type var_number =
var_number
mod
nb_AtmTypes