// $Source$
// $Revision$
// $Date$

// Gets pattern, result, or hard expression and returns its format
$func Format-Exp e.Exp = e.Format;

// split e.Re according to e.Format
$func Split-Re (e.Format) e.Re = e.splited-Re;

$func MSG e.formats = e.most-specific-generalization-of-formats;

// true, if e.Format2 is a contraction of e.Format1
$func? Subformat? (e.Format1) (e.Format2) = ;