let
reprs =
List
.map
(
fun
x
->
{ p_kind =
PKProp
; p_prop = x; p_part =
None
})
Property
.reprs