Up – Package index » diffast-langs-java » Library diffast-langs-java.p » Mjava_p » Java_lib_p

Module `Mjava_p.Java_lib_p`Source

module Lang_base = Diffast_core.Lang_base

Sourcemodule Java_lib_base = Java_base.Java_lib_base

Sourcemodule Java_fact = Java_base.Java_fact