Module Coq.Relation

module Relation: sig .. end

type t = {

	`carrier : EConstr.constr;`
	`r : EConstr.constr;`

}

val make : EConstr.constr -> EConstr.constr -> t

val split : t -> EConstr.constr * EConstr.constr