open Preamble

open Core_notation

open Pts

type 'a hint_declaration_Type0 = __

type 'a hint_declaration_Type1 = __

type ('a, 'b) hint_declaration_Type2 = __