package lustre-v6

  1. Overview
  2. Docs

Time-stamp: <modified the 09/09/2015 (at 11:23) by Erwan Jahier>

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
OCaml

Innovation. Community. Security.