package pfff

You can search for identifiers within the package.

in-package search v0.2.0

Tools and APIs for program analysis, code visualization, refactoring

Install

md5=19e3eb1003161d8e7ed65c96c4f69d52

sha512=37834e1726a004272fbc153fc4cd0a6afdf02b7918acf27492acd60890c32591eb8f5b22fcfd99dd707d8507b8208bdb24c99de9fd940cc2ad0171f1d103743f

type tin = MV.metavars_binding

type 'x tout = ('x * MV.metavars_binding) list

type ('a, 'b) matcher = 'a -> 'b -> tin -> ('a * 'b) tout

val (>>=) : 
  (tin -> ('a * 'b) tout) ->
  (('a * 'b) -> tin -> ('c * 'd) tout) ->
  tin ->
  ('c * 'd) tout

val (>||>) : ('a -> 'b list) -> ('a -> 'b list) -> 'a -> 'b list

val return : ('a * 'b) -> 'c -> (('a * 'b) * 'c) list

val fail : 'a -> 'b list

val equal_ast_binded_code : Ast.any -> Ast.any -> bool

val check_and_add_metavar_binding : 
  (MV.mvar * Ast.any) ->
  (MV.mvar, Ast.any) Common2.assoc ->
  (MV.mvar, Ast.any) Common2.assoc option

val envf : (MV.mvar Ast.wrap, Ast.any) matcher

val envf2 : (MV.mvar Ast.wrap, Ast.any * Ast.any) matcher

val tokenf : 'a -> 'b -> 'c -> (('a * 'b) * 'c) list