标签： erlang
阅读mnesia docs，我看到mnesia的返回类型：write声明为：
write(Record) -> transaction abort | ok
这种类型transaction abort是什么？我从未见过由两个原子组成的类型。我知道有参数化类型，但它是transaction(abort)。
transaction abort
transaction(abort)
任何线索？