find_consts_thy : string list -> hol_type -> term list
STRUCTURE
bossLib
SYNOPSIS
Searches in the theories in list thl for a constant matching given type ty.
DESCRIPTION
A call to find_consts_thy thl ty searches the theories with names from thl for constants whose types match type ty, and returns that list.
FAILURE
Never fails.
EXAMPLE
If we run 
   > find_consts_thy ["bool"] ``:'a -> 'a set -> bool``;
   val it = [“$IN”]: term list
and 
   > find_consts_thy ["arithmetic"] ``:num -> num -> num``;
   val it = [“$*”, “$+”, “$-”, “ABS_DIFF”, “$DIV”, “$**”, “MAX”, “MIN”,
             “$MOD”]: term list
SEEALSO
find_consts, apropos, find
HOL  Kananaskis-13