Module Goal

Don't use this module.

type goal = Evar.t