package codex

  1. Overview
  2. Docs
package codex
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Bottom.TopSource

Lattices in which both top and bottom are managed separately

Sourcetype 'a or_top_bottom = [
  1. | 'a or_bottom
  2. | `Top
]
Sourceval join : ('a -> 'a -> 'a) -> 'a or_top_bottom -> 'a or_top_bottom -> 'a or_top_bottom
Sourceval narrow : ('a -> 'a -> 'a or_bottom) -> 'a or_top_bottom -> 'a or_top_bottom -> 'a or_top_bottom