the next generation of the in-browser educational proof assistant
1module Make = (
2 Term: Signatures.TERM,
3 Judgment: Signatures.JUDGMENT with module Term := Term and type t = Term.t,
4 TermView: Signatures.TERM_VIEW with module Term := Term,
5): (Signatures.JUDGMENT_VIEW with module Term := Term and module Judgment := Judgment) => {
6 module TermView = TermView
7 type props = {
8 judgment: Judgment.t,
9 scope: array<Term.meta>,
10 }
11 let make = ({judgment, scope}) => TermView.make({term: judgment, scope})
12}