definition module DebugUtilities;

//from StdString import String;
import StdString;

E a b :== b;
F a b :== b;
FL a b :== b;
FB _ _ b :== b;
FNONL _ b :== b;

/*
E :: !a .b -> .b;
F :: !String .b -> .b;
FL :: [!String] .b -> .b;
FB :: !Bool !String .b -> .b;
FNONL :: !String .b -> .b;
*/