package links

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

type t =

val pp : 
  Ppx_deriving_runtime.Format.formatter ->
  t ->
  Ppx_deriving_runtime.unit

val show : t -> Ppx_deriving_runtime.string

val mk_unresolved : CommonTypes.Name.t -> kind -> CommonTypes.Freedom.t -> t

val mk_resolved : CommonTypes.Quantifier.t -> t

val get_unresolved_exn : t -> CommonTypes.Name.t * kind * CommonTypes.Freedom.t

val get_unresolved_name_exn : t -> CommonTypes.Name.t

val get_resolved_exn : t -> CommonTypes.Quantifier.t