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