let
ip_complete f =
Property
.ip_complete_of_spec f
Kglobal
f.spec