package lustre-v6

You can search for identifiers within the package.

in-package search v0.2.0

The Lustre V6 Verimag compiler

Install

md5=4b642b106a76e19de3751afb53ccdcf4

sha512=ec6d35f0f4da219490cad7969d86e9128b7c3f03baa507f662b038b1915383581eda697ddb0e734a1a5311ef6b0908b1d0cf375a0be5dbb1aa7e9e79848037cc

Sourceval my_string_of_float : float -> string

Sourceval entete : out_channel -> string -> string -> unit

Sourceval pos_in_list : int -> 'a -> 'a list -> int

Sourceval my_int_of_string : string -> int

Sourceval string_ends : string -> string -> bool

Sourceval my_assoc : 'a -> ('a * 'b) list -> ('b * ('a * 'b) list) option

Sourceval gen_N : int -> int list