package pomap

  1. Overview
  2. Docs

Module Display_hasse_impl.MakeSource

Functor that generates a pretty-printer for Hasse-diagrams from a partially ordered map and a pretty-printer specification. See the Display_hasse_intf.DISPLAY_HASSE-interface for documentation.

Parameters

module Spec : Display_hasse_intf.SPEC with type +'a node = 'a POMap.node

Signature

Sourceval fprintf : Format.formatter -> pomap -> unit

fprintf ppf pm prints partially ordered map pm to the pretty-printer ppf.

Sourceval printf : pomap -> unit

printf ppf pm prints partially ordered map pm to stdout.