(* val mk_small_lexer : GrafiteAst.alias_spec DisambiguateTypes.InterprEnv.t ->
        * unit Token.glexer*)
val mk_small_printer : 
        GrafiteAst.alias_spec DisambiguateTypes.InterprEnv.t ->
        string ref -> Ulexing.lexbuf -> unit * Stdpp.location