• Andrei Paskevich's avatar
    Theory: add_clone_internal · 5f055180
    Andrei Paskevich authored
    This is a one-call function that exports add_clone_unsafe to Pmodule,
    allowing it to add Clone declarations to underlying theories without
    additional checks.
    5f055180