forester.core
Core
forester.frontend
forester.prelude
forester.render
type addr = string
val pp_addr : Ppx_deriving_runtime.Format.formatter -> addr -> Ppx_deriving_runtime.unit
val show_addr : addr -> Ppx_deriving_runtime.string
type delim =
| Braces
| Squares
| Parens
val pp_delim : Ppx_deriving_runtime.Format.formatter -> delim -> Ppx_deriving_runtime.unit
val show_delim : delim -> Ppx_deriving_runtime.string
type math_mode =
| Inline
| Display
val pp_math_mode : Ppx_deriving_runtime.Format.formatter -> math_mode -> Ppx_deriving_runtime.unit
val show_math_mode : math_mode -> Ppx_deriving_runtime.string
type visibility =
| Private
| Public
val pp_visibility : Ppx_deriving_runtime.Format.formatter -> visibility -> Ppx_deriving_runtime.unit
val show_visibility : visibility -> Ppx_deriving_runtime.string
module Syn : sig ... end
module Sem : sig ... end
module Code : sig ... end
module Resolver : sig ... end
module Expand : sig ... end
module Eval : sig ... end
module Query : sig ... end
module BaseN : sig ... end