JS.Any

Definitions

record Any : Type

Totality: total
Visibility: public export
Constructor: 

MkAny : tpe -> Any

Projections:

0 .tpe : Any -> Type

.value : ({rec:0} : Any) -> tpe {rec:0}

Hints:

FromFFI Any AnyPtr

SafeCast Any

ToFFI Any AnyPtr

.value : ({rec:0} : Any) -> tpe {rec:0}

Totality: total
Visibility: public export

value : ({rec:0} : Any) -> tpe {rec:0}

Totality: total
Visibility: public export