package lustre-v6

You can search for identifiers within the package.

in-package search v0.2.0

The Lustre V6 Verimag compiler

Install

dune-project

Dependency

md5=4b642b106a76e19de3751afb53ccdcf4

sha512=ec6d35f0f4da219490cad7969d86e9128b7c3f03baa507f662b038b1915383581eda697ddb0e734a1a5311ef6b0908b1d0cf375a0be5dbb1aa7e9e79848037cc

Produces lic for predefined Meta operators

Sourceval get_node_and_int_const : Lxm.t -> Lic.static_arg list -> Lic.node_key * int

Extract the node and the constant from a list of static args

val do_node : 
  (Lic.node_key -> Lic.node_exp) ->
  Lic.node_key ->
  Lxm.t ->
  Lic.node_exp

Produces lic of a predefined Meta operator