Mirrors_Framework/paparazzi
1
0
Fork 0
mirror of https://github.com/paparazzi/paparazzi.git synced 2026-06-07 00:53:41 +08:00
Code Issues Actions 28 Packages Projects Releases Wiki Activity

comments

Browse Source
This commit is contained in:
Pascal Brisset
2009-06-06 13:44:31 +00:00
parent f68a8476cc
commit 1d2c958b95
1 changed files with 4 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
sw/lib/ocaml/papget_common.mli
+4
View File
@@ -25,7 +25,11 @@
*)
val get_property : string -> Xml.xml -> string
(** [get_property name config] *)
val get_prop : string -> Xml.xml list -> string -> string
(** [get_prop name config_list default_value] *)
val property : string -> string -> Xml.xml
val xml : string -> string -> (string * string) list -> Xml.xml
val float_property : string -> float -> Xml.xml