Struct LiquidTypeInference 

pub struct LiquidTypeInference { /* private fields */ }

Liquid types: refinement types with inference.

Implementations

impl LiquidTypeInference

pub fn new() -> Self

pub fn add_unknown(&mut self, name: impl Into<String>, candidates: Vec<TLExpr>)

Add an unknown refinement variable

pub fn infer(&mut self) -> HashMap<String, TLExpr>

Infer refinements based on constraints

pub fn context(&self) -> &RefinementContext

Get the inference context

Trait Implementations

impl Clone for LiquidTypeInference

fn clone(&self) -> LiquidTypeInference

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for LiquidTypeInference

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for LiquidTypeInference

fn default() -> Self

Returns the “default value” for a type.