Module Statement.DeclareNamespace

type ('M, 'T) id =
  1. | Global of ('M, 'M) Identifier.t
  2. | Local of ('M, 'T) Identifier.t
val pp_id : (Format.formatter -> 'M -> unit) -> (Format.formatter -> 'T -> unit) -> Format.formatter -> ('M, 'T) id -> unit
val show_id : (Format.formatter -> 'M -> unit) -> (Format.formatter -> 'T -> unit) -> ('M, 'T) id -> string
type ('M, 'T) t = {
  1. id : ('M, 'T) id;
  2. body : 'M * ('M, 'T) Block.t;
  3. comments : ('M, unit) Syntax.t option;
}
val pp : (Format.formatter -> 'M -> unit) -> (Format.formatter -> 'T -> unit) -> Format.formatter -> ('M, 'T) t -> unit
val show : (Format.formatter -> 'M -> unit) -> (Format.formatter -> 'T -> unit) -> ('M, 'T) t -> string