blob: e071b36fd40c332b8ad9eeebfe206137d26c0b43 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
open Types
open Values
include Charon.LlbcAst
type abs_region_group = (RegionId.id, AbstractionId.id) g_region_group
[@@deriving show]
type abs_region_groups = abs_region_group list [@@deriving show]
(** A function signature, after instantiation *)
type inst_fun_sig = {
regions_hierarchy : abs_region_groups;
trait_type_constraints : trait_type_constraint list;
inputs : rty list;
output : rty;
}
[@@deriving show]
|
