Skip to main content

parse_rocq

rml::cst_rocq

Function parse_rocq 

Source 
pub fn parse_rocq(src: &str) -> CstNode
Expand description

Parse Rocq source into a lino-cst.rocq.* CST.