-1

src/SExp.res

reviewed

··· 19 19 let lowerSchematic = (_, _) => "" 20 20 let ghost = "" 21 21 let substDeBruijn = (name, _, ~from as _) => name 22 22 - let constSymbol = name => Some(name) 23 22 } 24 23 25 24 include SExpFunc.Make(ConstSymbol)

-2

src/SExpFunc.res

reviewed

··· 10 10 let lowerSchematic: (int, array<int>) => t 11 11 let ghost: t 12 12 let substDeBruijn: (t, array<t>, ~from: int) => t 13 13 - // used for grouping judgments together for rule induction 14 14 - let constSymbol: t => option<string> 15 13 } 16 14 17 15 module IntCmp = Belt.Id.MakeComparable({

-5

src/StringSExp.res

reviewed

··· 53 53 } 54 54 | ConstS(s) => ConstS(s) 55 55 } 56 56 - let constSymbol = s => 57 57 - switch s { 58 58 - | StringS(_) => None 59 59 - | ConstS(s) => SExp.ConstSymbol.constSymbol(s) 60 60 - } 61 56 } 62 57 63 58 include SExpFunc.Make(StringSymbol)