let
closed =
F
.term_closed