let internal_pretty_code _ = Datatype.from_pretty_code