Project

General

Profile

« Previous | Next » 

Revision f6acf47b

Added by Pierre-Loïc Garoche about 9 years ago

Plugin based framework

View differences:

src/global.ml
3 3
let basename = ref ""
4 4
let main_node = ref ""
5 5

  
6

  
6 7
module TypeEnv =
7 8
struct
8 9
let lookup_value ident = Env.lookup_value !type_env ident

Also available in: Unified diff