package patoline

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Th : sig ... end
include module type of struct include Th end
val reference : string -> Typography.Document.content list
val do_begin_env : unit -> unit
val do_end_env : unit -> unit
module Env_proof = Env_preuve