sig
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
end