package ego

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

ego
- Ego
  - Basic
    
    EGraph
    
    Query
    
    Rule
    
    Symbol
  - Generic
    
    ANALYSIS
    
    ANALYSIS_OPS
    
    COST
    
    GRAPH_API
    
    LANGUAGE
    
    Make
    
    A
    
    BuildRunner
    
    S
    
    L
    
    MakeAnalysisOps
    
    S
    
    Rule
    
    MakeExtractor
    
    E
    
    L
    
    MakePrinter
    
    A
    
    L
    
    Query
    
    RULE
    
    SCHEDULER
    
    Scheduler
    
    Backoff
    
    Simple
  - Id

Legend:
Library
Module
Module type
Parameter
Class
Class type

This functor MakeExtractor allows users to construct an EGraph extraction procedure for a given LANGUAGE and COST system.

Parameters

module L : LANGUAGE

module E : COST with type node := Id.t L.shape

Signature

val extract : (Id.t L.shape, 'a, 'b, rw) egraph -> Id.t -> L.t

extract graph computes an extraction function Id.t -> Sexplib0.Sexp.t to extract concrete terms of the language L from their respective EClasses (specified by Id.t) from the EGraph according to the cost system E.