Module Types.Aliasability
val aliasable : bool -> Types.Aliasability.tval is_aliasable : Types.Aliasability.t -> boolTypes.Aliasabilityval aliasable : bool -> Types.Aliasability.tval is_aliasable : Types.Aliasability.t -> bool