Module Data.CalcHooks

type run = term list -> term
type eval = {
  1. code : run;
  2. ty_decl : string;
}
type descriptor = (Elpi_util.Util.constant * eval) list
val new_descriptor : unit -> descriptor ref