Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Orf.Feature_vectorSourceA feature is accessed via its (integer) index.
'a t is the type of a feature vector with feature indexes of type int and values of type 'a.
get feat vec returns the value associated to feat in the integer-valued vector vec.