Module Generic_util.Functor

module Functor: Generic_util_functor
Functorial map and instances for option, list, identity, constant.

module T: sig .. end
include T
type 'f t = 'f functorial 

Instances


val id : App.id functorial
val const : 'a App.const functorial
val option : App.option' functorial
val list : App.list' functorial