Papr_util.PAPRmodule Implem : sig ... endmodule Interf : sig ... endval both_pa1 :
(?input_file:string ->
string ->
(MLast.str_item * MLast.loc) list)
* (?input_file:string ->
string ->
(MLast.sig_item * MLast.loc) list)val both_pr :
((MLast.str_item * 'a) list ->
string)
* ((MLast.sig_item * 'b) list ->
string)