path: root/test-suite/coqchk/primproj.v

Set Primitive Projections.
Record foo (T : Type) := { bar : T}.