Source file `ppx_compare_expander_intf.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
open Ppxlib

module type Attrs = sig
  val ignore : (label_declaration, unit) Attribute.t
end

module type S = sig
  (** [type_ ty] is [ty -> ty -> result_type] where [result_type] is [int] for [compare]
      and [bool] for [equal]. *)
  val type_ : loc:Location.t -> core_type -> core_type

  (** [core_type ty] is an expression of type [ty -> ty -> result_type] *)
  val core_type : core_type -> expression

  val str_type_decl
    :  loc:Location.t
    -> path:string
    -> rec_flag * type_declaration list
    -> structure

  val sig_type_decl
    :  loc:Location.t
    -> path:string
    -> rec_flag * type_declaration list
    -> signature

  module Attrs : Attrs

  val str_attributes : Attribute.packed list
end