3 lines
98 B
Text
3 lines
98 B
Text
foo.decidable_eq : decidable_eq foo
|
|
foo.inhabited : inhabited foo
|
|
foo.has_sizeof : has_sizeof foo
|