type lident = [ `Lid of Locf.t * string ]
and t =
    [ `Alias of Locf.t * t * lident
    | `Ant of Locf.t * Tokenf.ant
    | `Any of Locf.t
    | `App of Locf.t * t * t
    (* | `Bar of Locf.t * t * t *)
    | `Com of Locf.t * t * t
    | `Lid of Locf.t * string
    | `Str of Locf.t * string
    | `Vrn of Locf.t * string ]

class map :
  object
    method ant : Astf.ant -> Astf.ant
    method lident : lident -> lident
    method loc : Locf.t -> Locf.t
    method t : t -> t
    method string : string -> string
  end

val wildcarder : map

val to_string : t -> string

 | `Bar of Locf.t * t * t 
type lident = [ `Lid of Locf.t * string ]
and t =
    [ `Alias of Locf.t * t * lident
    | `Ant of Locf.t * Tokenf.ant
    | `Any of Locf.t
    | `App of Locf.t * t * t
    | `Com of Locf.t * t * t
    | `Lid of Locf.t * string
    | `Str of Locf.t * string
    | `Vrn of Locf.t * string ]

class map :
  object
    method ant : Astf.ant -> Astf.ant
    method lident : lident -> lident
    method loc : Locf.t -> Locf.t
    method t : t -> t
    method string : string -> string
  end

val wildcarder : map

val to_string : t -> string
