make model_intf.ml documentation more generic