2139 ML {*Datatype.get_datatype @{theory} "List.list"*}

  2139 ML {*Datatype.get_info @{theory} "List.list"*}