package mugen

  1. Overview
  2. Docs

Stupid constructors for endo.

type ('s, 'a) t = ('s, 'a) endo =
  1. | Shifted of 'a * 's
  2. | Top

A family of polynomial endofunctors ('s, -) t indexed by the type of displacements 's.

val shifted : 'a -> 's -> ('s, 'a) t

shifted l s is Shifted (l, s).

val top : ('s, 'a) t

top is Top.

val dump : (Format.formatter -> 's -> unit) -> (Format.formatter -> 'a -> unit) -> Format.formatter -> ('s, 'a) t -> unit

Ugly printer.

OCaml

Innovation. Community. Security.