package ostap

  1. Overview
  2. Docs

Rule definition representation.

type t

Main type

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

Constructor of simple definition. Takes name and body.

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

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

val toTeX : t -> string

TeX printer.

OCaml

Innovation. Community. Security.