D | |
| data_in_list [State_builder.List_ref] | |
F | |
| fwd_kind [Components.Component] | |
K | |
| key [FCMap.S] |
The type of the map keys.
|
| kind [Components.Component] | |
T | |
| t [FCMap.S] |
The type of maps from type
key to type 'a.
|
| t [Components.Component] | |
| t [Components.Todolist] | |
| todo [Components.Todolist] | |
V | |
| value [Components.Component] |