package elpi

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module type Util.ModeSource

type t =
  1. | Input
  2. | Output
val compare : t -> t -> Ppx_deriving_runtime.int
type ho =
  1. | Fo of t
  2. | Ho of t * ho list
and hos = ho list
val compare_ho : ho -> ho -> Ppx_deriving_runtime.int
val compare_hos : hos -> hos -> Ppx_deriving_runtime.int
val get_head : ho -> t
val to_ho : t -> ho
val show_pretty : t -> string
val pretty : Format.formatter -> t -> unit