_'s⁇type

Definitions:

any
Source: /avail/Avail/Foundation/Bootstrap/Infallible Primitives
Categories: Primitives, Types, Constructors
Answer the precise instance type of the supplied value. This is the most specific possible type that describes the value.
Position Name Type Description
Parameters
1 value any An arbitrary value.
Returns (⊤)'s type The precise instance type of the supplied value.

Semantic restrictions:

type
Source: /avail/Avail/Foundation/Early Enumeration Support
Use the same primitive that implements _'s⁇type to implement its semantic restriction function.
Type Description
Parameter Types
type