package grenier

  1. Overview
  2. Docs
type (_, _) eq =
  1. | Refl : ('a, 'a) eq
val follow_eq : ('a, 'b) eq -> 'a -> 'b
module Order : sig ... end
type ('a, 'b) order = ('a, 'b) Order.t
val order_from_comparison : int -> ('a, 'a) Order.t
type void
val void : void -> 'a
module Natural : sig ... end
module Finite : sig ... end