package sail

  1. Overview
  2. Docs
type t = Ast.id * Jib.ctyp list
val lex_ord : int -> int -> int
val compare_ctyps : Jib.ctyp list -> Jib.ctyp list -> int
val compare : (Ast.id * Jib.ctyp list) -> (Ast.id * Jib.ctyp list) -> int
OCaml

Innovation. Community. Security.