Types.Aliasability
type t =
| Not_aliasable
| Aliasable
val aliasable : bool -> t
val is_aliasable : t -> bool