You can search for identifiers within the package.
in-package search v0.2.0
lustre-v6
Lic2soc
Time-stamp: <modified the 09/09/2015 (at 11:23) by Erwan Jahier>
val f : LicPrg.t -> Lic.node_key -> Soc.key * Soc.tbl
val user_var_prefix : string
exception Polymorphic
val lic_to_data_type : Lic.type_ -> Data.t
val soc_profile_of_node : Lic.node_exp -> Soc.var list * Soc.var list