links

The Links Programming Language
IN THIS PACKAGE
val infer_kinds : bool Settings.setting
val concrete_subkind : CommonTypes.Subkind.t option -> CommonTypes.Subkind.t
val free_type_variable : ?var:string -> SourceCode.Position.t -> exn
val sig_allows_implicitly_bound_vars : Sugartypes.datatype' option -> bool
val is_anonymous : Sugartypes.SugarTypeVar.t -> bool
include Transform.Untyped.S
module Untyped : sig ... end