c6506aa7090643badb5a6dca5df0ca6617558f5eChristian Maeder%sig Forall = {
c6506aa7090643badb5a6dca5df0ca6617558f5eChristian Maeder %include BaseFOL %open o i.
c6506aa7090643badb5a6dca5df0ca6617558f5eChristian Maeder forall : (i -> o) -> o.
c6506aa7090643badb5a6dca5df0ca6617558f5eChristian Maeder%sig Exists = {
c6506aa7090643badb5a6dca5df0ca6617558f5eChristian Maeder %include BaseFOL %open o i.
c6506aa7090643badb5a6dca5df0ca6617558f5eChristian Maeder exists : (i -> o) -> o.
c6506aa7090643badb5a6dca5df0ca6617558f5eChristian Maeder%sig Equal = {
c6506aa7090643badb5a6dca5df0ca6617558f5eChristian Maeder %include BaseFOL %open o i.
c6506aa7090643badb5a6dca5df0ca6617558f5eChristian Maeder eq : i -> i -> o. %infix none 25 eq.