package lustre-v6

  1. Overview
  2. Docs
package lustre-v6
Legend:
Library
Module
Module type
Parameter
Class
Class type
val get_predef_op : Soc.key -> string

Returns the C code corresponding a soc key

val get_iterator : Soc.t -> string -> Soc.t -> int -> string

Returns the C code implementing an iterator (map, fill, red)

val get_condact : Soc.t -> Soc.t -> Soc.var_expr list -> string

Returns the C code implementing a condact

val get_boolred : Soc.t -> int -> int -> int -> string

Returns the C code implementing a boolred