Searched defs:dt_desc (Results 1 - 1 of 1) sorted by relevance

/hets/Isabelle/export/
H A Dexport_helper.ml784 val dt_desc = fn info => List.map (fn (_,(s,vs,eqs)) => var
791 then (dt_desc (#descr v))::l

Completed in 15 milliseconds