Props.PTrbl_int
type t = int trbl
val compare : t -> t -> int
val wrapper : t Ocf.Wrapper.t option
val from_prop_value : prop_value -> t
val to_prop_value : t -> prop_value
val mk_prop : t mk_prop