Module Hydro_lm_IceLocalObject

module Hydro_lm_IceLocalObject: sig .. end

class type od_Ice_LocalObject = object .. end

class type oi_Ice_LocalObject = object .. end

class type o_Ice_LocalObject = object .. end

class delegate_od_Ice_LocalObject : #od_Ice_LocalObject -> od_Ice_LocalObject

class delegate_oi_Ice_LocalObject : #oi_Ice_LocalObject -> oi_Ice_LocalObject

class mk_od_Ice_LocalObject : unit -> od_Ice_LocalObject

val dispatch_Ice_LocalObject : oi_Ice_LocalObject ->
       string -> Hydro_types.value array -> Hydro_types.session -> unit

class skel_Ice_LocalObject : oi_Ice_LocalObject

val fill_system : Hydro_types.system -> unit

This web site is published by Informatikbüro Gerd Stolpmann

Plasma	GitLab	Archive
Projects	Blog	Knowledge