package lustre-v6

  1. Overview
  2. Docs
package lustre-v6
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module SocPredefSource

Synchronous Object Code for Predefined operators.

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

Associe un opérateur Lustre et le type de ses opérandes à un SOC et sa fonction de typage.

Le type des opérandes permet de traiter les opérateurs surchargés.

Sourceval get_mem_name : Soc.key -> Data.t -> string