package strymonas-pure
-
strymonas-pure
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package strymonas-pure
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
module C = C_astval cnv_typ_ext : (OffshoringIR.typ -> string) refval cnv_typ : ?specs:C.spec list -> OffshoringIR.typ -> C.ctypeval cnv_exp : OffshoringIR.exp -> C.expressionval cnv_exp_as_stmt : OffshoringIR.exp -> C.simple_statementval cnv_exps : OffshoringIR.exps -> C.expressionval mk_app_exp : OffshoringIR.OP.t -> C.expression list -> C.expressionval mk_app_stmt : OffshoringIR.OP.t -> C.expression list -> C.simple_statementval cnv_init : OffshoringIR.exp -> C.init_expressionval cnv_attributes : OffshoringIR.attribute list -> C.spec listval cnv_def : OffshoringIR.binding -> C.let_or_statementval cnv_block : bool -> OffshoringIR.block -> C.blockval cnv_stmt : bool -> OffshoringIR.stmt -> C.blockval cnv_proc : name:string -> OffshoringIR.proc_t -> C.declarationval pp_to_c :
?out:Format.formatter ->
name:string ->
OffshoringIR.proc_t ->
unit