let mk_fct_from_id kf bhv tkind from = let id = Property.ip_of_from kf Kglobal (Property.Id_behavior bhv) from in let kind = get_kind_for_tk kf tkind in mk_prop kind id