matitaB/components/content_pres/smallLexer.mli

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