package coq

  1. Overview
  2. Docs
package coq
Legend:
Library
Module
Module type
Parameter
Class
Class type
val is_trivial : t -> bool
module Set : sig ... end
type !'a accumulator = Set.t -> 'a -> 'a option
type !'a constrained = 'a * Set.t
type !'a constraint_function = 'a -> 'a -> Set.t -> Set.t
val enforce_eq_instances_univs : bool -> Univ.Instance.t constraint_function
val to_constraints : force_weak:bool -> UGraph.t -> Set.t -> Univ.Constraint.t