//
// Created by Jonathan Purol on 26.11.23.
//

export module number_property.hpp;