package bonsai

  1. Overview
  2. Docs
package bonsai
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Keyed : Core.T
val keyed : compare:('a -> 'a -> int) -> 'a Core.Type_equal.Id.t -> ('a -> Keyed.t) Core.Staged.t
type t =
  1. | Subst_from
  2. | Subst_into
  3. | Assoc of Keyed.t
  4. | Switch of int

We only have path nodes for places in the computation graph that could introduce a branch.

val sexp_of_t : t -> Sexplib0.Sexp.t
include Ppx_compare_lib.Comparable.S with type t := t
val compare : t -> t -> int