package lustre-v6

  1. Overview
  2. Docs

Synchronous Object Code for Predefined operators.

val of_soc_key : Lxm.t -> Soc.key -> Soc.t
val soc_interface_of_pos_op : Lxm.t -> Lic.by_pos_op -> Data.t list -> Soc.var_expr option -> Soc.t

Associe un oprateur Lustre et le type de ses oprandes un SOC et sa fonction de typage.

Le type des oprandes permet de traiter les oprateurs surchargs.

val get_mem_name : Soc.key -> Data.t -> string
OCaml

Innovation. Community. Security.