elpi 1.19.5 · OCaml Package

type program = {

macros : (Func.t, Term.t) Macro.t list;
types : tattribute Type.t list;
type_abbrevs : Func.t TypeAbbreviation.t list;
modes : Func.t Mode.t list;
body : block list;

}

and block_constraint = {

clique : Func.t list;
ctx_filter : Func.t list;
rules : cattribute Chr.t list;

}

and block =

| Locals of Func.t list * program
| Clauses of (Term.t, attribute) Clause.t list
| Namespace of Func.t * program
| Shorten of Func.t shorthand list * program
| Constraints of block_constraint * program

and attribute = {

insertion : insertion option;
id : string option;
ifexpr : string option;

}

and insertion =

| Before of string
| After of string
| Replace of string

and cattribute = {

cid : string;
cifexpr : string option;

}

and tattribute =

| External
| Index of int list * tindex option

and tindex =

| Map
| HashMap
| DiscriminationTree

and 'a shorthand = {

iloc : Loc.t;
full_name : 'a;
short_name : 'a;

}

val pp_program : 
  Ppx_deriving_runtime.Format.formatter ->
  program ->
  Ppx_deriving_runtime.unit

val show_program : program -> Ppx_deriving_runtime.string

val pp_block_constraint : 
  Ppx_deriving_runtime.Format.formatter ->
  block_constraint ->
  Ppx_deriving_runtime.unit

val show_block_constraint : block_constraint -> Ppx_deriving_runtime.string

val pp_block : 
  Ppx_deriving_runtime.Format.formatter ->
  block ->
  Ppx_deriving_runtime.unit

val show_block : block -> Ppx_deriving_runtime.string

val pp_attribute : 
  Ppx_deriving_runtime.Format.formatter ->
  attribute ->
  Ppx_deriving_runtime.unit

val show_attribute : attribute -> Ppx_deriving_runtime.string

val pp_insertion : 
  Ppx_deriving_runtime.Format.formatter ->
  insertion ->
  Ppx_deriving_runtime.unit

val show_insertion : insertion -> Ppx_deriving_runtime.string

val pp_cattribute : 
  Ppx_deriving_runtime.Format.formatter ->
  cattribute ->
  Ppx_deriving_runtime.unit

val show_cattribute : cattribute -> Ppx_deriving_runtime.string

val pp_tattribute : 
  Ppx_deriving_runtime.Format.formatter ->
  tattribute ->
  Ppx_deriving_runtime.unit

val show_tattribute : tattribute -> Ppx_deriving_runtime.string

val pp_tindex : 
  Ppx_deriving_runtime.Format.formatter ->
  tindex ->
  Ppx_deriving_runtime.unit

val show_tindex : tindex -> Ppx_deriving_runtime.string

val pp_shorthand : 
  (Ppx_deriving_runtime.Format.formatter -> 'a -> Ppx_deriving_runtime.unit) ->
  Ppx_deriving_runtime.Format.formatter ->
  'a shorthand ->
  Ppx_deriving_runtime.unit

val show_shorthand : 
  (Ppx_deriving_runtime.Format.formatter -> 'a -> Ppx_deriving_runtime.unit) ->
  'a shorthand ->
  Ppx_deriving_runtime.string

val compare_program : program -> program -> Ppx_deriving_runtime.int

val compare_block_constraint : 
  block_constraint ->
  block_constraint ->
  Ppx_deriving_runtime.int

val compare_block : block -> block -> Ppx_deriving_runtime.int

val compare_attribute : attribute -> attribute -> Ppx_deriving_runtime.int

val compare_insertion : insertion -> insertion -> Ppx_deriving_runtime.int

val compare_cattribute : cattribute -> cattribute -> Ppx_deriving_runtime.int

val compare_tattribute : tattribute -> tattribute -> Ppx_deriving_runtime.int

val compare_tindex : tindex -> tindex -> Ppx_deriving_runtime.int

val compare_shorthand : 
  ('a -> 'a -> Ppx_deriving_runtime.int) ->
  'a shorthand ->
  'a shorthand ->
  Ppx_deriving_runtime.int

package elpi