9 lines
85 B
Coq
9 lines
85 B
Coq
|
module template
|
||
|
|
|
||
|
|
struct Template {
|
||
|
|
template string
|
||
|
|
}
|
||
|
|
|
||
|
|
fn parse() {}
|
||
|
|
|
||
|
|
fn execute() {}
|