package forester

  1. Overview
  2. Docs

Module Forester_preludeSource

Various utility functions.

Sourceval (let@) : ('a -> 'b) -> 'a -> 'b
Sourceval (@~) : ('a -> 'b -> 'c) -> 'b -> 'a -> 'c
include module type of struct include Bwd end
Sourcetype 'a bwd = 'a Bwd.bwd =
  1. | Emp
  2. | Snoc of 'a bwd * 'a
Sourcemodule Bwd = Bwd.Bwd

This module is similar to List but for backward lists.

Sourcemodule BwdLabels = Bwd.BwdLabels

This module is similar to ListLabels but for backward lists.

Sourcemodule String_util : sig ... end
Sourcemodule Option_util : sig ... end
Sourcemodule List_util : sig ... end
Sourcemodule BaseN : sig ... end
Sourcemodule Compare : sig ... end