Module AnalyzeType

module AnalyzeType: sig .. end

Analyze Types : Cardinalities, Abstract, Incomplete

exception Error of string

exception Polymorphic

exception EmptyData of ID.t

module Make (T : TermInner.S) : sig .. end