Module BottomUp.Univ
This module is present to allow the user to extend explanations with her own types.
val embed : unit -> 'a embedding
Create a new embedding. Values packed by a given embedding can only be unpacked by the same embedding.