links

The Links Programming Language
IN THIS PACKAGE
type instantiation_maps = Types.type_arg 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_rigid : Types.datatype -> Types.type_arg list * Types.datatype
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