package prbnmcn-basic-structures

  1. Overview
  2. Docs
Base package for prbnmcn-* packages

Install 

dune-project
 Dependency

github.com Readme Changelog MIT License Edit opam file Versions (1)

Authors

  1. I
    Ilias Garnier

Maintainers

  1. I
    igarnier@protonmail.com

Sources

0.0.1.tar.gz
md5=f169865416fdd1804beace6daeba2cb9
sha512=8a78c0572866e6471f8123d702aee42e6abdef6b0b633ab0ea678382a26194a1d79dea9d44ea0cb7b45d77dac25a6706153c3074f7b0aad05ce744fb480d8518

doc/src/prbnmcn-basic-structures/intf_std.ml.html

Source file intf_std.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
(** Basic module types. *)

(** Totally ordered data *)
module type Ordered = sig
  type t

  val compare : t -> t -> int
end

type 'a printer = Format.formatter -> 'a -> unit

(** Pretty-printable data *)
module type Pp = sig
  type t

  val pp : t printer
end

(** Comparable, printable and hashable data *)
module type Std = sig
  type t

  val compare : t -> t -> int

  val equal : t -> t -> bool

  val pp : t printer

  val hash : t -> int
end