-
Andrei Paskevich authored
- put abstract types and aliases in Dtype of tysymbol - put (recursive) algebraic types in Ddata of (ts,constr list) list - put abstract function/predicate symbols in Dparam of lsymbol - put defined logic symbols in Dlogic of (ls,ls_definition) list
1b769a78