// $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? IsSubformat (e.Format1) (e.Format2) = ;