package links

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

type instantiation_maps =
  Types.datatype Utility.IntMap.t
  * Types.row Utility.IntMap.t
  * Types.field_spec Utility.IntMap.t

exception ArityMismatch of int * int

val show_recursion : bool Settings.setting

val var : Types.environment -> string -> Types.type_arg list * Types.datatype

val rigid : Types.environment -> string -> Types.type_arg list * Types.datatype

val typ : Types.datatype -> Types.type_arg list * Types.datatype

val typ_rigid : Types.datatype -> Types.type_arg list * Types.datatype

val datatype : instantiation_maps -> Types.datatype -> Types.datatype

val row : instantiation_maps -> Types.row -> Types.row

val presence : instantiation_maps -> Types.field_spec -> Types.field_spec

val alias : 
  string ->
  Types.type_arg list ->
  Types.tycon_environment ->
  Types.datatype

val recursive_application : 
  string ->
  CommonTypes.Quantifier.t list ->
  Types.type_arg list ->
  Types.datatype ->
  Types.datatype

val instantiation_maps_of_type_arguments : 
  bool ->
  Types.datatype ->
  Types.type_arg list ->
  Types.datatype * instantiation_maps

val build_fresh_quantifiers : 
  CommonTypes.Quantifier.t list ->
  CommonTypes.Quantifier.t list * Types.type_arg list

val apply_type : Types.datatype -> Types.type_arg list -> Types.datatype

val freshen_quantifiers : Types.datatype -> Types.datatype

val replace_quantifiers : 
  Types.datatype ->
  CommonTypes.Quantifier.t list ->
  Types.datatype