diff options
Diffstat (limited to 'src/CfimAst.ml')
| -rw-r--r-- | src/CfimAst.ml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/CfimAst.ml b/src/CfimAst.ml index 7be1a4bc..36977aad 100644 --- a/src/CfimAst.ml +++ b/src/CfimAst.ml @@ -14,10 +14,10 @@ type fun_id = Local of FunDefId.id | Assumed of assumed_fun_id type assertion = { cond : operand; expected : bool } [@@deriving show] type fun_sig = { - region_params : region_var RegionVarId.vector; + region_params : region_var list; num_early_bound_regions : int; - type_params : type_var TypeVarId.vector; - inputs : rty VarId.vector; + type_params : type_var list; + inputs : rty list; output : rty; } [@@deriving show] @@ -75,7 +75,7 @@ type fun_def = { signature : fun_sig; divergent : bool; arg_count : int; - locals : var VarId.vector; + locals : var list; body : expression; } [@@deriving show] |