let
internal_pretty_code _ =
Datatype
.from_pretty_code