inexact? -- vonuvoli Definition
§

Kind
§

type-predicate;

Extends
§

Procedure signature
§

Procedure variants:

Exports
§

Exports recursive
§

Referenced-types
§

Categories
§