Typed SML

GPTKB entity