package DAGaml

  1. Overview
  2. Docs
package DAGaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
module M : PEVAL_SIG
type leaf = M.M.M.M.M.leaf
type edge = M.M.M.M.M.edge
type node = M.M.M.M.M.node
type ident = M.M.M.G.ident
type next' = M.M.M.G.next'
type edge' = M.M.M.G.edge'
type node' = M.M.M.G.node'
type next'' = M.M.next'
type edge'' = M.M.edge'
type node'' = M.M.node'
val rewrite : node'' -> tree''