structure
sometimes makes a Type
not a Prop
.
#153
This job succeeded
Loading
structure
sometimes makes a Type
not a Prop
.
#153