Commit 53fa71ca authored by Robbert Krebbers's avatar Robbert Krebbers

Make solution of cofe solver opaque.

parent 100a7b9d
......@@ -228,3 +228,5 @@ Proof.
apply dist_S, map_contractive; split; intros Y i; apply embed_tower; lia.
Qed.
End solver.
Global Opaque cofe_solver.T cofe_solver.fold cofe_solver.unfold.
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment