let type_boolean = type_int