package lpi

  1. Overview
  2. Docs
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
OCaml

Innovation. Community. Security.