docs as FUCK (trait.mli)