Follow-up from "Shadow stdlib with lwtreslib"
The following discussion from !1895 (merged) should be addressed:
-
@mbouaziz started a discussion: Unrelated to this MR but this
if
should be factorized with the previous one
The following discussion from !1895 (merged) should be addressed:
Unrelated to this MR but this
if
should be factorized with the previous one