Module API.RawQuery

This module lets one generate a query by providing a RawData.term directly

val mk_Arg : State.t -> name:string -> args:Data.term list -> State.t * Data.term
val is_Arg : State.t -> Data.term -> bool
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