package lpi

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

type context = (Ast.Ast.variable * (Ast.Ast.term * Ast.Ast.term option)) list

val lookup_typ : 'a -> ('a * ('b * 'c)) list -> 'b

val lookup_value : 'a -> ('a * ('b * 'c)) list -> 'c

val extend : 
  'a ->
  'b ->
  ?value:'c ->
  ('a * ('b * 'c option)) list Stdlib.ref ->
  unit