Module FO.Util

module Util: sig .. end

val dt_of_term : vars:FO.Ty.t Var.t list -> FO.T.t -> (FO.T.t, FO.Ty.t) Model.DT.t

Convert a term into a decision tree, or emit a warning and return a trivial tree with "unparsable" inside

val problem_kinds : ('a, FO.Ty.t) FO.Problem.t -> Model.symbol_kind ID.Map.t