links

The Links Programming Language
IN THIS PACKAGE
val generalise : ?unwrap:bool -> Types.environment -> Types.datatype -> (CommonTypes.Quantifier.t list * Types.type_arg list) * Types.datatype
val generalise_rigid : ?unwrap:bool -> Types.environment -> Types.datatype -> (CommonTypes.Quantifier.t list * Types.type_arg list) * Types.datatype
val generalise_without_mutation : ?unwrap:bool -> Types.environment -> Types.datatype -> (CommonTypes.Quantifier.t list * Types.type_arg list) * Types.datatype
val get_quantifiers_rigid : Types.environment -> Types.datatype -> CommonTypes.Quantifier.t list
val rigidify_type_arg : Types.type_arg -> unit