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 ref -> unit