const SetOrder … const SetOrder_Fail … const SetOrderOrEqual … const SetOrderOrEqual_Fail … const Ordered … const Ordered_Fail … const OrderedOrEqual … const OrderedOrEqual_Fail … const SetEqual … const SetEqual_Fail … const Equal … const Equal_Fail … const SetNonEqual … const SetNonEqual_Fail … const NonEqual … const NonEqual_Fail … const Checkpoint … const Undo … type posetTestOp … func vconst(i int) int { … } func testPosetOps(t *testing.T, unsigned bool, ops []posetTestOp) { … } func TestPoset(t *testing.T) { … } func TestPosetStrict(t *testing.T) { … } func TestPosetCollapse(t *testing.T) { … } func TestPosetSetEqual(t *testing.T) { … } func TestPosetNonEqual(t *testing.T) { … }