module PAMap: sig .. end
sig
end
include struct ... end
val fusion : 'a t -> 'a t -> 'a t
'a t -> 'a t -> 'a t