module E: sig .. end
sig
end
include struct ... end
val add : key -> R.t -> R.t t -> R.t t
key -> R.t -> R.t t -> R.t t