<div dir="ltr">Hi,
<div><br></div><div>Another aspect that can be considered is Dependent Types.</div><div><br></div><div>S</div></div>