package fmlib

  1. Overview
  2. Docs
Functional monadic library

Install 

dune-project
 Dependency

github.com Readme Edit opam file Versions (18)

Authors

  1. H
    Helmut Brandl <helmut.brandl@gmx.net>

Maintainers

  1. H
    Helmut Brandl <helmut.brandl@gmx.net>

Sources

0.2.0.tar.gz
sha256=d47f6539af49a4c3e947dbfbe416c1e78d534897cd6d9d8e3660aae0cf8d9494
md5=d649b8a62403362bd3a24cbf1a9af590

doc/fmlib.fmlib_std/Fmlib_std/Void/index.html

Module Fmlib_std.Void

Void.t is the type of an object which cannot exist.

type t

Type of a nonexisting object.

val absurd : t -> 'a

absurd n Return an object of any type.

This function is possible, because there never can be an object n of type t.