Module Model.Default

module Default: sig .. end

type term = TermInner.Default.t 

type t = (term, term) Model.model 

val to_sexp : t Model.to_sexp

val print_standard : t Model.printer