package links

  1. Overview
  2. Docs
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 get_quantifiers_rigid : Types.environment -> Types.datatype -> CommonTypes.Quantifier.t list
val rigidify_type_arg : Types.type_arg -> unit
OCaml

Innovation. Community. Security.