Module MethodInfo.Hack

type kind = private
  1. | IsClass
    (*

    Normal method call

    *)
  2. | IsTrait of {
    1. in_class : Typ.Name.t;
    2. is_direct : bool;
    }
    (*

    Trait method call: in_class is the name of the class uses the trait. If it is a direct trait method call, e.g. Trait::foo, used is the name of the trait.

    *)