Mode (p.elpi.1.20.0.doc.elpi.parser.Elpi

Sourcetype 'name t = {

name : 'name;
args : bool list;
loc : Loc.t;

}

val pp : 
  (Ppx_deriving_runtime.Format.formatter -> 'name -> Ppx_deriving_runtime.unit) ->
  Ppx_deriving_runtime.Format.formatter ->
  'name t ->
  Ppx_deriving_runtime.unit

Source

val show : 
  (Ppx_deriving_runtime.Format.formatter -> 'name -> Ppx_deriving_runtime.unit) ->
  'name t ->
  Ppx_deriving_runtime.string

Source

val compare : 
  ('name -> 'name -> Ppx_deriving_runtime.int) ->
  'name t ->
  'name t ->
  Ppx_deriving_runtime.int