module Flx_csubst:sig
..end
val csubst : Flx_ast.range_srcref ->
Flx_ast.range_srcref ->
string ->
Flx_ctypes.cexpr_t ->
Flx_ctypes.cexpr_t list ->
string list ->
string ->
string ->
string list ->
string ->
string -> string list -> string list -> string list -> Flx_ctypes.cexpr_t