let searchd pat =
  searchl (map (fun t -> ("",t)) (definitions())) pat;;

constants();;