Module Generic_util_functor

module Generic_util_functor: sig .. end

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