Module Property.And_value

type 'a property := 'a t
type t =
| T : 'a property * 'a -> t