Papr_util.PAPR
module Implem : sig ... end
module Interf : sig ... end
val 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)