let
regp p optn desc helpt = register_fun hp optn ((p, desc, helpt): predicate record)