lustre-v6
Soc2cPredef
val gen_call : Soc.key -> Soc.t -> string list -> string list -> string
val is_call_supported : Soc.key -> bool