kdrag.smt.register\_well\_formed ================================ .. currentmodule:: kdrag.smt .. autofunction:: register_well_formed