module Functor: Generic_util_functor
Generic_util_functor
module T: sig .. end
sig
end
include T
type 'f t = 'f functorial
'f
'f functorial
val id : App.id functorial
App.id functorial
val const : 'a App.const functorial
'a App.const functorial
val option : App.option' functorial
App.option' functorial
val list : App.list' functorial
App.list' functorial