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