Piqi_dbmodule C = Piqi_commonmodule Idtable : sig ... endmodule Piqitable = Idtableval loaded_map : C.T.piqi Piqitable.M.t refval find_piqi : Piqitable.M.key -> C.T.piqival try_find_piqi : Piqitable.M.key -> C.T.piqi optionval add_piqi : C.P.t -> unitval remove_piqi : Piqitable.M.key -> unitval replace_piqi : C.P.t -> unitval find_local_typedef :
C.T.typedef list ->
Piqi_impl_piqi.Piqi_impl_piqi.name ->
C.T.typedefval load_piqi_module : string -> C.T.piqival find_load_piqi_typedefs :
auto_load_piqi:bool ->
Piqitable.M.key option ->
C.T.typedef listval find_typedef :
?auto_load_piqi:bool ->
Piqi_impl_piqi.Piqi_impl_piqi.name ->
C.T.typedefval find_piqtype : Piqi_impl_piqi.Piqi_impl_piqi.name -> C.T.piqtypeval try_find_piqtype : Piqi_impl_piqi.Piqi_impl_piqi.name -> C.T.piqtype option