let
declared_logics =
Hashtbl
.create 97