Module type Dedukti.Arg

module type Arg = sig .. end

type lemma 

type proof 

type formula 

val print : Format.formatter -> formula -> unit

val prove : Format.formatter -> lemma -> unit

val context : Format.formatter -> proof -> unit