package monomorphic

  1. Overview
  2. Docs

Parameters

module Ty : TY

Signature

val (=) : Ty.t -> Ty.t -> bool
val (<>) : Ty.t -> Ty.t -> bool
val (<) : Ty.t -> Ty.t -> bool
val (>) : Ty.t -> Ty.t -> bool
val (<=) : Ty.t -> Ty.t -> bool
val (>=) : Ty.t -> Ty.t -> bool