Learn
Packages
Community
Blog
Playground
max) { row = max } }" @keyup.up="if (row !== null) { row -=1; if (row < 0) { row = null } }" @keyup.right="if (col < 1) col++" @keyup.left="if (col >= 1) col--" :aria-activedescendant="row !== null ? 'package-autocomplete-'+row+'-'+col : null" hx-get="/packages/autocomplete" hx-params="q" hx-trigger="keyup changed delay:500ms, search" hx-target="#header-search-results" hx-indicator="#header-search-indicator" >
Searching...
Or go to:
Standard Library API
Learn
Packages
Community
Blog
Playground
Get started
typerep
latest (v0.15.0)
v0.15.0
v0.14.0
v0.13.0
v0.12.0
v0.11.0
v0.10.0
v0.9.0
113.33.03
113.24.00
113.00.00
112.35.00
112.24.00
112.17.00
112.06.00
111.17.00
111.06.00
109.55.02
109.55.00
Documentation
typerep lib
Typerep_lib
.
Typerepable
.
S
Module type
= 768" x-on:close-sidebar="sidebar=window.innerWidth >= 768 && true">
side menu
Overview
Docs
package typerep
typerep
Typerep_lib
Make_typename
Make0
X
Make1
X
Make2
X
Make3
X
Make4
X
Make5
X
Named_intf
S0
S1
S2
S3
S4
S5
Std
Std_internal
Typerep
Field
Field_internal
Named
T0
T1
T2
T3
T4
T5
Record
Record_internal
Tag
Tag_internal
Tuple
Variant
Variant_internal
Type_abstract
Make0
X
Make1
X
Make2
X
Make3
X
Make4
X
Make5
X
Type_equal
Lift
X
Type_generic
Computation
Field
Field_internal
Named
Context
Record
Record_internal
Tag
Tag_internal
Variant
Variant_internal
Helper
A
Field
Field_internal
Record
Record_internal
Tag
Tag_internal
Variant
Variant_internal
B
Field
Field_internal
Record
Record_internal
Tag
Tag_internal
Variant
Variant_internal
Ident
Make
Computation
Field
Field_internal
Named
Context
Record
Record_internal
Tag
Tag_internal
Variant
Variant_internal
S
S1
S2
S3
S4
S5
X
Field
Field_internal
Named
Context
Record
Record_internal
Tag
Tag_internal
Variant
Variant_internal
Make_named_for_closure
Context
X
Named
Context
S
Computation
Field
Field_internal
Named
Context
Record
Record_internal
Tag
Tag_internal
Variant
Variant_internal
S
S1
S2
S3
S4
S5
Variant_and_record_intf
M
Field
Field_internal
Record
Record_internal
Tag
Tag_internal
Variant
Variant_internal
X
S
Field
Field_internal
Record
Record_internal
Tag
Tag_internal
Variant
Variant_internal
Type_generic_intf
M
S
S1
S2
S3
S4
S5
X
S
S
S1
S2
S3
S4
S5
Typename
Key
Make0
X
Make1
X
Make2
X
Make3
X
Make4
X
Make5
X
S0
S1
S2
S3
S4
S5
Same_witness_exn_1
A
B
Same_witness_exn_2
A
B
Same_witness_exn_3
A
B
Same_witness_exn_4
A
B
Same_witness_exn_5
A
B
Table
X
Uid
Typerep_obj
Typerepable
S
S1
S2
S3
S4
S5
Variant_and_record_intf
M
Field
Field_internal
Record
Record_internal
Tag
Tag_internal
Variant
Variant_internal
X
S
Field
Field_internal
Record
Record_internal
Tag
Tag_internal
Variant
Variant_internal
Legend:
Library
Module
Module type
Parameter
Class
Class type
type
t
val
typerep_of_t :
t
Std_internal.Typerep.t
val
typename_of_t :
t
Typename.t