API.RawQuery
This module lets one generate a query by providing a RawData.term directly
val compile_ast :
Compile.program ->
Ast.query ->
( State.t -> State.t ) ->
unit Compile.query
val compile :
Compile.program ->
( depth:int ->
State.t ->
State.t * (Ast.Loc.t * Data.term) * Conversion.extra_goals ) ->
unit Compile.query