let
mkterm tnode ty loc =
{
term_node = tnode;
term_loc = loc;
term_type = ty;
term_name = []
}