Module SocPredef2cHeapSource

Sourceval get_predef_op : Soc.key -> string

Returns the C code corresponding a soc key

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

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

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

Returns the C code implementing a condact

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

Returns the C code implementing a boolred