JavaFrontend.JModels
val load_models : jar_filename:string -> unit
Sets the procnames in the given jar file as models
val get_classmap : unit -> Javalib_pack.JCode.jcode Javalib_pack.Javalib.interface_or_class Javalib_pack.JBasics.ClassMap.t
get map of model classes