let
type_boolean = type_int