Index of types
P
proof
[
Register
]
V
value
[
Plugin.STRING_HASHTBL
]
value
[
Plugin.INDEXED_VAL
]
the real type for the option