Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Cgraph.VarSourceVar is the module type of variables, which are the first kind of input nodes available to users.
'a t is the type of a variable holding a value of type 'a