ap.types
General class representing sorted functions; sub-classes can model both monomorphic and polymorphic functions.
Determine the argument and result types of the function.
Determine the sort of function results.
Encode the function as a sorted predicate.
General class representing sorted functions; sub-classes can model both monomorphic and polymorphic functions.