package formula;


/**
  The type of all logic formulas.
*/
public interface Formula { }