type info = {p_class : Javalib_pack.JBasics.class_name -> string list;p_field : Javalib_pack.JBasics.class_name ->
Javalib_pack.JBasics.field_signature ->
string list;p_method : Javalib_pack.JBasics.class_name ->
Javalib_pack.JBasics.method_signature ->
string list;p_pp : Javalib_pack.JBasics.class_name ->
Javalib_pack.JBasics.method_signature ->
int ->
string list;}val void_info : infoval simple_elem : string -> elemval value_elem :
?dim:int ->
'a JProgram.program option ->
Javalib_pack.JBasics.class_name ->
Javalib_pack.JBasics.value_type ->
elemval field_elem :
?called_cname:string ->
'a JProgram.program option ->
Javalib_pack.JBasics.class_name ->
Javalib_pack.JBasics.class_name ->
Javalib_pack.JBasics.field_signature ->
elemval invoke_elem :
?called_cname:string ->
'a JProgram.program option ->
Javalib_pack.JBasics.class_name ->
Javalib_pack.JBasics.method_signature ->
int ->
Javalib_pack.JBasics.class_name ->
Javalib_pack.JBasics.method_signature ->
elemval method_args_elem :
'a JProgram.program option ->
Javalib_pack.JBasics.class_name ->
Javalib_pack.JBasics.method_signature ->
elemmodule type HTMLPrinter = sig ... endmodule type PrintInterface = sig ... endmodule Make (S : PrintInterface) : sig ... endmodule JCodePrinter : sig ... end