public static string Format(LaxType type)
{
string s = Format(type.Type);
if (type.Unit.HasUnit)
s += "[" + type.Unit + "]";
return s;
}
public static LaxType GetType(LaxType left, BinaryOp op, LaxType right)
{
return new LaxType(
GetTypes(left.Type, op, right.Type),
GetUnit(left.Unit, op, right.Unit)
);
}