let mk_prop kind prop = { p_kind=kind ; p_prop=prop ; p_part=None }