
  * Copyright  2020 - . 
  * 
  * Distributed under the Boost Software License , Version 1.0 . 
  * ( See accompanying file LICENSE_1_0.txt or copy at 
  *  ) 
 
 * Copyright yutopp 2020 - .
 *
 * Distributed under the Boost Software License, Version 1.0.
 * (See accompanying file LICENSE_1_0.txt or copy at
 * )
 *)

open! Base

type t = {
  trait_name : Name.t;
  for_ty : Typing.Type.t;
  mapping : (Typing.Type.t Path.Name.t * Name.t) list;
}
[@@deriving show]


  * Copyright  2020 - . 
  * 
  * Distributed under the Boost Software License , Version 1.0 . 
  * ( See accompanying file LICENSE_1_0.txt or copy at 
  *  ) 
 
 * Copyright yutopp 2020 - .
 *
 * Distributed under the Boost Software License, Version 1.0.
 * (See accompanying file LICENSE_1_0.txt or copy at
 * )
 *)

open! Base

type t = {
  trait_name : Name.t;
  for_ty : Typing.Type.t;
  mapping : (Typing.Type.t Path.Name.t * Name.t) list;
}
[@@deriving show]
