span><a href="../Common.ProblemDefs/index.html#type-psi_def">Common.ProblemDefs.psi_def</a> list</span></span></code></div><div class="spec-doc"><p>This functions enumerate possible extensions of an input problem.</p></div></div></div></body></html>
