BO.FuncPtr
type t =
| Path of Symb.SymbolPath.partial
| Closure of IR.Exp.closure
module Set : sig ... end