beremiz

beremiz/exemples/svghmi_jumps/svghmi_0@svghmi/
Runtime: remove now useless typechecking/convertion

2023-07-20, Edouard Tisserant
b4f8fe5e3b0f