Make
(
struct
let
recompute =
false
let
p_preserving =
false
end
)