let
(hp : (string, predicate record)
Hashtbl
.t) =
Hashtbl
.create 10