package ostap

  1. Overview
  2. Docs

Module BNF3.DefSource

Rule definition representation.

Sourcetype t

Main type

Sourceval make : string -> Expr.t -> t

Constructor of simple definition. Takes name and body.

Sourceval makeP : string -> string list -> Expr.t -> t

Constructor of parameterized definition. Takes name, argument name list and body.

Sourceval toTeX : t -> string

TeX printer.

OCaml

Innovation. Community. Security.