package links
type t =
| TUnresolved of CommonTypes.Name.t * CommonTypes.Subkind.t option * CommonTypes.Freedom.t
| TResolvedType of Types.meta_type_var
| TResolvedRow of Types.meta_type_var
| TResolvedPresence of Types.meta_type_var
val pp :
Ppx_deriving_runtime.Format.formatter ->
t ->
Ppx_deriving_runtime.unit
val show : t -> Ppx_deriving_runtime.string
val is_resolved : t -> bool
val mk_unresolved :
CommonTypes.Name.t ->
CommonTypes.Subkind.t option ->
CommonTypes.Freedom.t ->
t
val mk_resolved_tye : Types.meta_type_var -> t
val mk_resolved_row : Types.meta_type_var -> t
val mk_resolved_presence : Types.meta_type_var -> t
val get_unresolved_exn :
t ->
CommonTypes.Name.t * CommonTypes.Subkind.t option * CommonTypes.Freedom.t
val get_unresolved_name_exn : t -> CommonTypes.Name.t
val get_resolved_type_exn : t -> Types.meta_type_var
val get_resolved_row_exn : t -> Types.meta_type_var
val get_resolved_presence_exn : t -> Types.meta_type_var
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>