let
section =
Formula
.
S_typedef