let
name =
"Wp.LogicDef.Declarations"